#18769: Implement affinization crystal and allow KyotoPathModel to use extended
weight lattice
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.8
Component: combinatorics | Resolution:
Keywords: crystals | Merged in:
Authors: Travis Scrimshaw | Reviewers: Ben Salisbury
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/crystals/kyoto_path_model_weight-18769|
c18b71c7851e71f8fc1bce382df09bfcdde574f0
Dependencies: | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by tscrim):
Okay, so here's the difference (and why this test is failing):
{{{
sage: B = crystals.KirillovReshetikhin(['A',2,1], 1,1)
sage: P = RootSystem(['A',2,1]).weight_lattice(extended=True)
sage: C = crystals.KyotoPathModel(B, P.fundamental_weight(0))
sage: x = C.module_generators[0].f_string([0,1,2])
sage: [type(_) for _ in x.weight().support()]
[<type 'sage.rings.integer.Integer'>, <type 'str'>]
sage: B = crystals.LSPaths(['A',1,1],[1,0])
sage: b = B.highest_weight_vector()
sage: [type(_) for _ in b.f(0).weight().support()]
[<type 'int'>, <type 'int'>, <type 'str'>]
}}}
Looking into why the type suddenly changes (which I think is an easier fix
and better for consistency at this point, although perhaps on some ticket
we should make it so that the comparison between a Sage integer and a
`str` works the same as an `int` and a `str`).
--
Ticket URL: <http://trac.sagemath.org/ticket/18769#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/d/optout.
