Expand description
Abstract group structures.
Modules§
- class
- Conjugacy class structures.
Structs§
- Eager
Group - Structure for managing abstract groups eagerly, i.e. all group elements are stored.
- Eager
Group Builder - Builder for
EagerGroup
. - Magnetic
Represented Group - Structure for managing groups with magnetic corepresentations.
- Magnetic
Represented Group Builder - Builder for
MagneticRepresentedGroup
. - Unitary
Represented Group - Structure for managing groups with unitary representations.
- Unitary
Represented Group Builder - Builder for
UnitaryRepresentedGroup
.
Enums§
- Eager
Group Builder Error - Error type for EagerGroupBuilder
- Group
Type - Enumerated type for the type of a group.
- Magnetic
Represented Group Builder Error - Error type for MagneticRepresentedGroupBuilder
- Unitary
Represented Group Builder Error - Error type for UnitaryRepresentedGroupBuilder
Constants§
- BWGRP
- Black-and-white magnetic group.
- BWGRP2
- Black-and-white magnetic double group.
- GRGRP
- Grey magnetic group.
- GRGRP2
- Grey magnetic double group.
- ORGRP
- Ordinary group.
- ORGRP2
- Ordinary double group.
Traits§
- Finite
Order - Trait for order finiteness of group elements.
- Group
Properties - Trait for purely group-theoretic properties.
- HasUnitary
Subgroup - Trait for indicating that a group can be partitioned into a unitary halving subgroup and and antiunitary coset.