Finite Weyl Groups¶
- class sage.categories.finite_weyl_groups.FiniteWeylGroups(base_category)[source]¶
Bases:
CategoryWithAxiom
The category of finite Weyl groups.
EXAMPLES:
sage: C = FiniteWeylGroups() sage: C Category of finite Weyl groups sage: C.super_categories() [Category of finite Coxeter groups, Category of Weyl groups] sage: C.example() The symmetric group on {0, ..., 3}
>>> from sage.all import * >>> C = FiniteWeylGroups() >>> C Category of finite Weyl groups >>> C.super_categories() [Category of finite Coxeter groups, Category of Weyl groups] >>> C.example() The symmetric group on {0, ..., 3}