Bases: sage.categories.category.Category
The 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
TESTS:
sage: TestSuite(C).run()
sage: B = FiniteCrystals().example()
sage: TestSuite(B).run(verbose = True)
running ._test_an_element() . . . pass
running ._test_category() . . . pass
running ._test_elements() . . .
Running the test suite of self.an_element()
running ._test_category() . . . pass
running ._test_eq() . . . pass
running ._test_not_implemented_methods() . . . pass
running ._test_pickling() . . . pass
pass
running ._test_elements_eq() . . . pass
running ._test_enumerated_set_contains() . . . pass
running ._test_enumerated_set_iter_cardinality() . . . pass
running ._test_enumerated_set_iter_list() . . . pass
running ._test_eq() . . . pass
running ._test_fast_iter() . . . pass
running ._test_not_implemented_methods() . . . pass
running ._test_pickling() . . . pass
running ._test_some_elements() . . . pass
Returns a list of the elements of self obtained by repeatedly applying the operators to the module generators of self.
EXAMPLES:
sage: C = FiniteCrystals().example(5)
sage: l = C._list_brute_force()
sage: l.sort(); l
[1, 2, 3, 4, 5, 6]
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
EXAMPLES:
sage: FiniteCrystals().super_categories()
[Category of crystals, Category of finite enumerated sets]