#16001: Make the tensor functorial construction work for crystals
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: categories | Resolution:
Keywords: tensor products | Merged in:
construction | Reviewers: Ben Salisbury
Authors: Travis Scrimshaw | Work issues:
Report Upstream: N/A | Commit:
Branch: | 1d0ae4a102ef5b066db6effa1b3b4ff40b133267
public/combinat/crystals/tensor_construction-16001| Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by tscrim):
* status: needs_work => needs_review
Comment:
Documentation is fixed.
Replying to [comment:13 aschilling]:
> Also, there is a test in the new code
> {{{
> sage: C = crystals.Letters(['A', 3])
> sage: B = crystals.infinity.Tableaux(['A',2])
> sage: T = C.tensor(C, B); T
> }}}
> What does it mean to take tensor products of crystals of different
Cartan type? The documentation of crystals.TensorProduct explicitly says
that the Cartan type needs to be the same!
I've added a test to explicitly check this in the constructor (for such a
quick and important test, it's somewhat surprising it wasn't there
beforehand). I've also changed that specific test to have the same Cartan
type.
--
Ticket URL: <http://trac.sagemath.org/ticket/16001#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/d/optout.
