Module group

Source
Expand description

Abstract group structures.

Modules§

class
Conjugacy class structures.

Structs§

EagerGroup
Structure for managing abstract groups eagerly, i.e. all group elements are stored.
EagerGroupBuilder
Builder for EagerGroup.
MagneticRepresentedGroup
Structure for managing groups with magnetic corepresentations.
MagneticRepresentedGroupBuilder
Builder for MagneticRepresentedGroup.
UnitaryRepresentedGroup
Structure for managing groups with unitary representations.
UnitaryRepresentedGroupBuilder
Builder for UnitaryRepresentedGroup.

Enums§

EagerGroupBuilderError
Error type for EagerGroupBuilder
GroupType
Enumerated type for the type of a group.
MagneticRepresentedGroupBuilderError
Error type for MagneticRepresentedGroupBuilder
UnitaryRepresentedGroupBuilderError
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§

FiniteOrder
Trait for order finiteness of group elements.
GroupProperties
Trait for purely group-theoretic properties.
HasUnitarySubgroup
Trait for indicating that a group can be partitioned into a unitary halving subgroup and and antiunitary coset.