Skip to main content

Module finite_group

Module finite_group 

Source

Structs§

FiniteGroupSpec
GroupAlgebraElement
LeftRegularLift
RightRegularLift

Constants§

MAX_FINITE_GROUP_ORDER
Bounds group-table validation to 65,536 entries and 16,777,216 associativity triples.

Functions§

left_regular_lift
right_regular_lift