#14402: Implement tensor product of infinite crystals
-----------------------------------------------------+----------------------
Reporter: tscrim | Owner:
sage-combinat
Type: enhancement | Status:
needs_review
Priority: major | Milestone:
sage-5.10
Component: combinatorics | Resolution:
Keywords: infinite crystals, tensor product | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Ben Salisbury, Travis Scrimshaw | Merged in:
Dependencies: #14454 #14266 | Stopgaps:
-----------------------------------------------------+----------------------
Changes (by tscrim):
* dependencies: #14454 => #14454 #14266
Old description:
> Currently tensor product of infinite crystals does not work well, likely
> due to assumptions that the crystals are finite. This implements a new
> tensor product of crystals class for handling infinite crystals.
New description:
Currently tensor product of infinite crystals does not work well, likely
due to assumptions that the crystals are finite. This implements a new
tensor product of crystals class for handling infinite crystals.
----
Apply:
- [attachment:trac_14402-tensor_product_infinite_crystals-ts.patch]
--
Comment:
Hey Anne,
Here's a new version of the patch which changes the computation of
`epsilon` and `phi` and caches in the parent `_sig`. I also added a note
on the global option on convention to `TensorProductOfCrystals`.
I've added documentation about the signature rule, but this does not apply
for non-regular crystals. For example, consider the highest weight element
in B infinity tensored with itself. Both `phi_i` and `epsilon_i` are 0 for
all `i`, so by the signature rule, this would be `0` for `f_i` which is
not the case.
For the previous implementation, did you mean the old
`TensorProductOfCrystalsElement`? If so, then it assumed the signature
rule gave the crystal structure, which is why it didn't work. I didn't
want to put this into the doc since it's an implementation detail, but if
you think it should be, then we can add it in.
Also the dependency on #14266 is trivial due to a change of `sources.py`,
and this can easily be commuted past.
Thank you for doing the review,[[BR]]
Travis
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14402#comment:4>
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?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
