#15882: Implement a catalog for crystals
-------------------------------------+-------------------------------------
Reporter: tscrim | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.2
Component: combinatorics | Resolution:
Keywords: crystals catalog | Merged in:
Authors: Travis Scrimshaw | Reviewers:
Report Upstream: N/A | Work issues:
Branch: | Commit:
public/combinat/crystals/catalog | 968f9f6d6e48f4a16dfb79026805e73947ac8301
Dependencies: #14275 | Stopgaps:
-------------------------------------+-------------------------------------
Comment (by aschilling):
> > Won't you ever need some Sage code to call this function ? In this
case it would mean a "from sage.....crystals.catalog import
KirillovReshetikhin", which is a bit weird. It happens very often in the
graph constructor that we need to call other constructors. But well, if
there is no "smart" code in there after all, do as you wish.
I am confused. KirillovReshetikhinCrystal is currently a model and should
definitely be easily accessible.
> I doubt it since most of the time people would (should) just directly
import the model they want directly.
What are the KR models?
> Anne,
>
> Those line break changes made it easier for me to read (especially in my
approximately 90 character wide window). Also the 80 character max width
is a pseudo-standard.
Well, I think, it is a really bad idea to incorporate line break in this
patch!
Also, I get many doc failures
{{{
sage -t affine.py
**********************************************************************
File "affine.py", line 317, in
sage.combinat.crystals.affine.AffineCrystalFromClassicalElement.pp
Failed example:
K = KirillovReshetikhinCrystal(['D',3,2],1,1)
Expected nothing
Got:
doctest:839: DeprecationWarning: this is being removed from the global
namespace. Use crystals.kirillov_resetikhin.KashiwaraNakashimaTabelaux
instead
See http://trac.sagemath.org/15882 for details.
**********************************************************************
File "affine.py", line 398, in
sage.combinat.crystals.affine.AffineCrystalFromClassicalElement.epsilon0
Failed example:
[x.epsilon0 for x in A.list()]
Expected:
[1, 0, 0]
Got:
[<bound method
AffineCrystalFromClassicalAndPromotion_with_category.element_class.epsilon0
of [[1]]>, <bound method
AffineCrystalFromClassicalAndPromotion_with_category.element_class.epsilon0
of [[2]]>, <bound method
AffineCrystalFromClassicalAndPromotion_with_category.element_class.epsilon0
of [[3]]>]
**********************************************************************
2 items had failures:
1 of 7 in
sage.combinat.crystals.affine.AffineCrystalFromClassicalElement.epsilon0
1 of 4 in
sage.combinat.crystals.affine.AffineCrystalFromClassicalElement.pp
[221 tests, 2 failures, 1.90 s]
sage -t affine_factorization.py
**********************************************************************
File "affine_factorization.py", line 73, in
sage.combinat.crystals.affine_factorization.AffineFactorizationCrystal
Failed example:
C = CrystalOfTableaux(['A',2],shape=[3,1])
Expected nothing
Got:
doctest:839: DeprecationWarning: this is being removed from the global
namespace. Use crystals.<tab> instead
See http://trac.sagemath.org/15882 for details.
**********************************************************************
1 item had failures:
1 of 16 in
sage.combinat.crystals.affine_factorization.AffineFactorizationCrystal
[46 tests, 1 failure, 17.81 s]
sage -t alcove_path.py
[220 tests, 9.78 s]
sage -t all.py
[0 tests, 0.00 s]
sage -t catalog.py
**********************************************************************
File "catalog.py", line 88, in
sage.combinat.crystals.catalog.KirillovReshetikhin
Failed example:
KN3 = crystals.KirillovReshetikhin(['D',4,1], 2, 1,
model='KashiwaraNakashima')
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 480, in _run
self.execute(example, compiled, test.globs)
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 839, in execute
exec compiled in globs
File "<doctest
sage.combinat.crystals.catalog.KirillovReshetikhin[10]>", line 1, in
<module>
KN3 = crystals.KirillovReshetikhin(['D',Integer(4),Integer(1)],
Integer(2), Integer(1), model='KashiwaraNakashima')
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/combinat/crystals/catalog.py", line 104, in
KirillovReshetikhin
raise ValueError("invalid model")
ValueError: invalid model
**********************************************************************
File "catalog.py", line 89, in
sage.combinat.crystals.catalog.KirillovReshetikhin
Failed example:
KN is KN2 and KN is KN3
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 480, in _run
self.execute(example, compiled, test.globs)
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 839, in execute
exec compiled in globs
File "<doctest
sage.combinat.crystals.catalog.KirillovReshetikhin[11]>", line 1, in
<module>
KN is KN2 and KN is KN3
NameError: name 'KN3' is not defined
**********************************************************************
1 item had failures:
2 of 13 in sage.combinat.crystals.catalog.KirillovReshetikhin
[12 tests, 2 failures, 1.44 s]
sage -t catalog_elementary_crystals.py
[0 tests, 0.00 s]
sage -t catalog_infinity_crystals.py
[0 tests, 0.00 s]
sage -t catalog_kirillov_reshetikhin.py
[3 tests, 1.19 s]
sage -t crystals.py
**********************************************************************
File "crystals.py", line 183, in
sage.combinat.crystals.crystals.CrystalBacktracker.__init__
Failed example:
C = CrystalOfTableaux(['B',3],shape=[3,2,1])
Expected nothing
Got:
doctest:839: DeprecationWarning: this is being removed from the global
namespace. Use crystals.<tab> instead
See http://trac.sagemath.org/15882 for details.
**********************************************************************
File "crystals.py", line 206, in
sage.combinat.crystals.crystals.CrystalBacktracker._rec
Failed example:
C = CrystalOfLetters(['A', 5])
Expected nothing
Got:
doctest:839: DeprecationWarning: this is being removed from the global
namespace. Use crystals.Letters instead
See http://trac.sagemath.org/15882 for details.
**********************************************************************
2 items had failures:
1 of 7 in sage.combinat.crystals.crystals.CrystalBacktracker.__init__
1 of 5 in sage.combinat.crystals.crystals.CrystalBacktracker._rec
[24 tests, 2 failures, 2.40 s]
sage -t direct_sum.py
[41 tests, 0.53 s]
sage -t elementary_crystals.py
[211 tests, 1.42 s]
sage -t fast_crystals.py
**********************************************************************
File "fast_crystals.py", line 52, in
sage.combinat.crystals.fast_crystals.FastCrystal
Failed example:
C = crystals.Tableaux(['B',2], shape=[l1,l2])
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 480, in _run
self.execute(example, compiled, test.globs)
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 839, in execute
exec compiled in globs
File "<doctest
sage.combinat.crystals.fast_crystals.FastCrystal[0]>", line 1, in <module>
C = crystals.Tableaux(['B',Integer(2)], shape=[l1,l2])
NameError: name 'l1' is not defined
**********************************************************************
File "fast_crystals.py", line 54, in
sage.combinat.crystals.fast_crystals.FastCrystal
Failed example:
T = crystals.TensorProduct(C, D, C.list()[0], D.list()[0])
Exception raised:
Traceback (most recent call last):
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 480, in _run
self.execute(example, compiled, test.globs)
File "/Applications/sage/local/lib/python2.7/site-
packages/sage/doctest/forker.py", line 839, in execute
exec compiled in globs
File "<doctest
sage.combinat.crystals.fast_crystals.FastCrystal[2]>", line 1, in <module>
T = crystals.TensorProduct(C, D, C.list()[Integer(0)],
D.list()[Integer(0)])
NameError: name 'C' is not defined
**********************************************************************
1 item had failures:
2 of 19 in sage.combinat.crystals.fast_crystals.FastCrystal
[79 tests, 2 failures, 2.74 s]
sage -t generalized_young_walls.py
**********************************************************************
File "generalized_young_walls.py", line 62, in
sage.combinat.crystals.generalized_young_walls.GeneralizedYoungWall
Failed example:
Y = InfinityCrystalOfGeneralizedYoungWalls(4)
Expected nothing
Got:
doctest:839: DeprecationWarning: this is being removed from the global
namespace. Use crystals.<tab> instead
See http://trac.sagemath.org/15882 for details.
**********************************************************************
1 item had failures:
1 of 4 in
sage.combinat.crystals.generalized_young_walls.GeneralizedYoungWall
[159 tests, 1 failure, 3.37 s]
sage -t highest_weight_crystals.py
[103 tests, 0.29 s]
sage -t infinity_crystals.py
[118 tests, 4.64 s]
sage -t kirillov_reshetikhin.py
[658 tests, 11.87 s]
sage -t kyoto_path_model.py
[70 tests, 1.05 s]
sage -t littelmann_path.py
[224 tests, 19.29 s]
sage -t monomial_crystals.py
[174 tests, 3.44 s]
sage -t spins.py
[68 tests, 1.16 s]
sage -t tensor_product.py
[404 tests, 10.30 s]
----------------------------------------------------------------------
sage -t affine.py # 2 doctests failed
sage -t affine_factorization.py # 1 doctest failed
sage -t catalog.py # 2 doctests failed
sage -t crystals.py # 2 doctests failed
sage -t fast_crystals.py # 2 doctests failed
sage -t generalized_young_walls.py # 1 doctest failed
----------------------------------------------------------------------
Total time for all tests: 96.8 seconds
cpu time: 79.1 seconds
cumulative wall time: 94.6 seconds
}}}
--
Ticket URL: <http://trac.sagemath.org/ticket/15882#comment:22>
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.
