#15305: Allow natural morphism between tensor products
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: sage-combinat
Type: enhancement | Status: needs_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 |
-------------------------------------+-------------------------------------
Comment (by tscrim):
Well, this is a correct error of sorts:
{{{
sage: C = CombinatorialFreeModule(ZZ, Set([1,2]))
sage: T = tensor((C,C))
sage: T._basis_keys
Image of Cartesian product of {1, 2}, {1, 2} by <type 'tuple'>
sage: type(_)
<class 'sage.combinat.combinat.MapCombinatorialClass'>
}}}
because `MapCombinatorialClass` doesn't have a `__contains__()` method and
it's trying to do a conversion (via `_element_constructor_()`) since there
is no coercion.
I've added you to the authors since the main part of the code is yours and
we'll "cross review" this. I'm happy with the current state of the patch.
For patchbot:
Apply: trac_15305-coercion_tensor_products-ts.patch
--
Ticket URL: <http://trac.sagemath.org/ticket/15305#comment:15>
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.
