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}
class ElementMethods[source]#

Bases: object

class ParentMethods[source]#

Bases: object