Finite Weyl Groups

class sage.categories.finite_weyl_groups.FiniteWeylGroups(base_category)

Bases: sage.categories.category_with_axiom.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}
class ElementMethods
class ParentMethods