Classical Crystals¶
-
sage.categories.classical_crystals.
ClassicalCrystals
¶ The category of classical crystals, that is crystals of finite Cartan type.
EXAMPLES:
sage: C = ClassicalCrystals() sage: C Category of classical crystals sage: C.super_categories() [Category of regular crystals, Category of finite crystals, Category of highest weight crystals] sage: C.example() Highest weight crystal of type A_3 of highest weight omega_1