#19982: phi0 and epsilon0 of KR higher spin crystal of type Dn twisted not
correct
-----------------------------+----------------------------
Reporter: tscrim | Owner: tscrim
Type: defect | Status: new
Priority: blocker | Milestone: sage-7.1
Component: combinatorics | Keywords:
Merged in: | Authors:
Reviewers: | Report Upstream: N/A
Work issues: | Branch:
Commit: | Dependencies:
Stopgaps: |
-----------------------------+----------------------------
For type D,,n+1,,^(2)^, the crystals B^n,s^ for s > 1 do not have the
correct result for `epsilon0` and `phi0` as they should be regular
crystals. Explicitly, we have
{{{
sage: K2 = crystals.KirillovReshetikhin(['D',3,2], 2,2)
sage: def phi0_defn(elt):
....: x = elt.f(0)
....: phi = 0
....: while x is not None:
....: x = x.f(0)
....: phi = phi + 1
....: return phi
sage: all(phi_defn(x) == x.phi0() for x in K2)
False
}}}
and similarly for `epsilon0`.
It appears that `e0` and `f0` are correct for this example.
--
Ticket URL: <http://trac.sagemath.org/ticket/19982>
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 https://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
