Module qsym2::group

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.