#15305: Allow natural morphism between tensor products
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: sage-combinat
Type: enhancement | Status: positive_review
Priority: major | Milestone: sage-5.13
Component: coercion | Resolution:
Keywords: tensor product | Merged in:
coercion | Reviewers: Nicolas Borie, Travis
Authors: Travis Scrimshaw, | Scrimshaw
Nicolas Borie | Work issues:
Report Upstream: N/A | Commit:
Branch: | Stopgaps:
Dependencies: #15309 |
-------------------------------------+-------------------------------------
Changes (by nborie):
* status: needs_review => positive_review
Comment:
I had not test the whole Sage (Patchbot dosen't want to run tests...) but
at least the whole Combinat and categories...
Nevertheless, I hope the green mark will be coming soon and I am pretty
sure it is on the way. The current state of the patch seems good and it
makes what we want exactly. I did use Sage 5.12 with the dependency to
review that. There are also now nice tests on this enhancement.
Ok, perfect for me.
Thanks you very very much for this work. My original fix has been
implemented during the Sage days at Providence (9 month ago???) and I
lazily never took the time to finalize that (I say that keeping my armor
Nicolas T., don't kick me...). In this time of fpsac submission, thanks
very much Travis for having finalize it. I am a little ghostly on the Sage
trac the last months (position audition and teaching...).
Cheers,
Nicolas B.
--
Ticket URL: <http://trac.sagemath.org/ticket/15305#comment:16>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/groups/opt_out.
