Finite Crystals¶
-
class
sage.categories.finite_crystals.FiniteCrystals(base_category)¶ Bases:
sage.categories.category_with_axiom.CategoryWithAxiom_singletonThe category of finite crystals.
EXAMPLES:
sage: C = FiniteCrystals() sage: C Category of finite crystals sage: C.super_categories() [Category of crystals, Category of finite enumerated sets] sage: C.example() Highest weight crystal of type A_3 of highest weight omega_1
-
class
TensorProducts(category, *args)¶ Bases:
sage.categories.tensor.TensorProductsCategoryThe category of finite crystals constructed by tensor product of finite crystals.
-
extra_super_categories()¶ EXAMPLES:
sage: FiniteCrystals().TensorProducts().extra_super_categories() [Category of finite crystals]
-
-
example(n=3)¶ Returns an example of highest weight crystals, as per
Category.example().EXAMPLES:
sage: B = FiniteCrystals().example(); B Highest weight crystal of type A_3 of highest weight omega_1
-
extra_super_categories()¶ EXAMPLES:
sage: FiniteCrystals().extra_super_categories() [Category of finite enumerated sets]
-
class