FiniteGroup

discrgrp.spad line 1 [edit on github]

The category of finite groups.

* : (%, %) -> %

from Magma

/ : (%, %) -> %

from Group

1 : () -> %

from MagmaWithUnit

= : (%, %) -> Boolean

from BasicType

^ : (%, Integer) -> %

from Group

^ : (%, NonNegativeInteger) -> %

from MagmaWithUnit

^ : (%, PositiveInteger) -> %

from Magma

coerce : % -> OutputForm

from CoercibleTo(OutputForm)

commutator : (%, %) -> %

from Group

conjugate : (%, %) -> %

from Group

convert : % -> InputForm

from ConvertibleTo(InputForm)

enumerate : () -> List(%)

from Finite

hash : % -> SingleInteger

from Hashable

hashUpdate! : (HashState, %) -> HashState

from Hashable

index : PositiveInteger -> %

from Finite

inv : % -> %

from Group

latex : % -> String

from SetCategory

leftPower : (%, NonNegativeInteger) -> %

from MagmaWithUnit

leftPower : (%, PositiveInteger) -> %

from Magma

leftRecip : % -> Union(%, "failed")

from MagmaWithUnit

lookup : % -> PositiveInteger

from Finite

one? : % -> Boolean

from MagmaWithUnit

order : % -> Integer

order(x) computes the order of the element $x$.

random : () -> %

from Finite

recip : % -> Union(%, "failed")

from MagmaWithUnit

rightPower : (%, NonNegativeInteger) -> %

from MagmaWithUnit

rightPower : (%, PositiveInteger) -> %

from Magma

rightRecip : % -> Union(%, "failed")

from MagmaWithUnit

sample : () -> %

from MagmaWithUnit

size : () -> NonNegativeInteger

from Finite

smaller? : (%, %) -> Boolean

from Comparable

~= : (%, %) -> Boolean

from BasicType

Monoid

SemiGroup

Finite

TwoSidedRecip

BasicType

unitsKnown

CoercibleTo(OutputForm)

Group

Magma

SetCategory

Comparable

Hashable

MagmaWithUnit

ConvertibleTo(InputForm)