InfiniteCyclicGroup gΒΆ
discrgrp.spad line 146 [edit on github]
g: Symbol
Infinite cyclic groups.
- 1: %
from MagmaWithUnit
- <=: (%, %) -> Boolean
from PartialOrder
- <: (%, %) -> Boolean
from PartialOrder
- >=: (%, %) -> Boolean
from PartialOrder
- >: (%, %) -> Boolean
from PartialOrder
- ^: (%, Integer) -> %
from Group
- ^: (%, NonNegativeInteger) -> %
from MagmaWithUnit
- ^: (%, PositiveInteger) -> %
from Magma
- coerce: % -> OutputForm
from CoercibleTo OutputForm
- commutator: (%, %) -> %
from Group
- convert: % -> SExpression
from ConvertibleTo SExpression
- exponent: % -> Integer
exponent(g^k)returns the representative integer $k$.
- generator: () -> %
generator()returns the generator.
- generators: () -> List %
from FinitelyGenerated
- hash: % -> SingleInteger
from Hashable
- hashUpdate!: (HashState, %) -> HashState
from Hashable
- latex: % -> String
from SetCategory
- leftPower: (%, NonNegativeInteger) -> %
from MagmaWithUnit
- leftPower: (%, PositiveInteger) -> %
from Magma
- leftRecip: % -> Union(%, failed)
from MagmaWithUnit
- max: (%, %) -> %
from OrderedSet
- min: (%, %) -> %
from OrderedSet
- one?: % -> Boolean
from MagmaWithUnit
- recip: % -> Union(%, failed)
from MagmaWithUnit
- rightPower: (%, NonNegativeInteger) -> %
from MagmaWithUnit
- rightPower: (%, PositiveInteger) -> %
from Magma
- rightRecip: % -> Union(%, failed)
from MagmaWithUnit
- sample: %
from MagmaWithUnit
- smaller?: (%, %) -> Boolean
from Comparable