#17055: Implement bijection between RC and MLT for B infinity
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.4
Component: combinatorics | Resolution:
Keywords: crystals, rigged | Merged in:
configurations, B infinity | Reviewers:
Authors: Travis Scrimshaw | Work issues:
Report Upstream: N/A | Commit:
Branch: | e5843927a7ef399ed58ea24f082bae0ea958ccde
public/crystals/b_infinity_bijection-17055| Stopgaps:
Dependencies: #17054 |
-------------------------------------+-------------------------------------
Comment (by bsalisbury1):
Hi Travis,
I'm getting some unexpected(?) behavior in certain cases. For example:
{{{
sage: RC = crystals.infinity.RiggedConfigurations("D4")
sage: T = crystals.infinity.Tableaux("D4")
sage: Psi =
RC.crystal_morphism({RC.module_generators[0]:T.module_generators[0]})
sage: RCS = RC.subcrystal(max_depth=4)
sage: for nu in RCS:
....: if Psi(nu) != T(nu):
....: print False
....: print True
}}}
This produces a lot of `False` results. By contrast, this example worked
in types `"A2"`, `"A3"`, and `"A4"`. Shouldn't the coercion agree with
the usual crystal isomorphism between the two?
Best,
Ben
--
Ticket URL: <http://trac.sagemath.org/ticket/17055#comment:2>
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.
