changed cartan type from A to Q (for finite rank) and added doc test

sagemath · Jul 9, 2019 · 3a0e152 · 3a0e152
1 parent 3d3177e
commit 3a0e152
Showing 1 changed file with 11 additions and 3 deletions.
diff --git a/src/sage/combinat/shifted_primed_tableau.py b/src/sage/combinat/shifted_primed_tableau.py
@@ -37,6 +37,7 @@
 
 from sage.categories.regular_crystals import RegularCrystals
 from sage.categories.classical_crystals import ClassicalCrystals
+from sage.categories.regular_supercrystals import RegularSuperCrystals
 from sage.categories.sets_cat import Sets
 from sage.categories.infinite_enumerated_sets import InfiniteEnumeratedSets
 from sage.categories.finite_enumerated_sets import FiniteEnumeratedSets
@@ -1997,19 +1998,26 @@ def __init__(self, shape, max_entry, skew):
 
             sage: SPT = ShiftedPrimedTableaux([4,2,1], max_entry=4)
             sage: TestSuite(SPT).run()  # long time
+            sage: SPT.cartan_type()
+            ['Q', 4]
+
+            sage: SPT = ShiftedPrimedTableaux([4,2,1])
+            sage: SPT.cartan_type()
+            ['A', NN]
+
         """
         # Determine the correct category
         if max_entry is None:
             if skew is None:
-                category = RegularCrystals().Infinite()
+                category = RegularSuperCrystals().Infinite()
                 self._cartan_type = CartanType(['A+oo'])
                 self.Element = CrystalElementShiftedPrimedTableau
             else:
                 category = Sets().Infinite()
         else:
             if skew is None:
-                category = ClassicalCrystals()
-                self._cartan_type = CartanType(['A', max_entry-1])
+                category = RegularSuperCrystals()
+                self._cartan_type = CartanType(['Q', max_entry])
                 self.Element = CrystalElementShiftedPrimedTableau
             else:
                 category = Sets().Finite()