- unit-group
- Unit_Group
- Unit_Group_NumberRing
- Unital
- unital
- UnitalFeet
- Unitary
- CSU(n, q) : RngIntElt, RngIntElt -> GrpMat
- ConformalSpecialUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- ConformalUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- ExtendedSpecialUnitaryGroup(n,q,m) : RngIntElt, RngIntElt, RngIntElt -> GrpMat
- GeneralUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- IsUnitary(R) : Rng -> BoolElt
- IsUnitaryGroup(G) : GrpMat -> BoolElt
- IsUnitarySpace(W) : ModTupFld -> BoolElt, RngIntElt
- ProjectiveGammaUnitaryGroup(arguments)
- ProjectiveGeneralUnitaryGroup(arguments)
- ProjectiveSigmaUnitaryGroup(arguments)
- ProjectiveSpecialUnitaryGroup(arguments)
- SpecialUnitaryGroup(n, q) : RngIntElt, RngIntElt -> GrpMat
- UnitaryForm(G) : GrpMat -> BoolElt, AlgMatElt [,SeqEnum]
- UnitaryReflection(a, zeta) : ModTupRngElt, FldElt -> AlgMatElt
- UnitarySpace(J, sigma) : AlgMatElt, Map -> ModTupFld
- UnitaryTransvection(a, alpha) : ModTupRngElt, FldElt -> AlgMatElt
- unitary
- unitary-transvection
- UnitaryForm
- unitaryform
- UnitaryReflection
- UnitarySpace
- unitaryspace
- UnitaryTransvection
- UnitDisc
- UnitDiscAngle
- UnitDiscBasics
- UnitDiscPractice2
- uniteq
- UnitEquation
- UnitGenerators
- UnitGroup
- UnitGroup(S) : AlgQuatOrd[RngInt] -> GrpPerm, Map
- MultiplicativeGroup(S) : AlgQuatOrd[RngInt] -> GrpPerm, Map
- MultiplicativeGroup(F) : FldFin -> GrpAb, Map
- MultiplicativeGroup(Z) : RngInt -> GrpAb, Map
- MultiplicativeGroup(R) : RngIntRes -> GrpAb, Map
- UnitGroup(K) : FldNum -> GrpAb, Map
- UnitGroup(F) : FldPad -> GrpAb, Map
- UnitGroup(Q) : FldRat -> GrpAb, Map
- UnitGroup(N) : Nfd -> GrpMat, Map
- UnitGroup(O) : RngFunOrd -> GrpAb, Map
- UnitGroup(R) : RngIntRes -> GrpAb, Map
- UnitGroup(O) : RngOrd -> GrpAb, Map
- UnitGroup(OQ) : RngOrdRes -> GrpAb, Map
- UnitGroup(R) : RngPad -> GrpAb, Map
- RngOrd_UnitGroup (Example H39E20)
- UnitGroupAsSubgroup
- UnitGroupGenerators
- unitgrp
- UnitRank
- Units
- ExceptionalUnits(O) : RngOrd -> [ RngOrdElt ]
- FundamentalUnits(O) : RngFunOrd -> SeqEnum[RngFunOrdElt]
- GeneratorsOfGroupOfUnits(A) : AlgBas -> SeqEnum, SeqEnum
- IndependentUnits(O) : RngFunOrd -> SeqEnum[RngFunOrdElt]
- IndependentUnits(O) : RngOrd -> GrpAb, Map
- IsTrivialOnUnits(chi) : GrpDrchNFElt -> BoolElt
- MergeUnits(K, a) : FldNum, FldNumElt -> BoolElt
- NoncentralGeneratorsOfGroupOfUnits(A) : AlgBas -> SeqEnum, SeqEnum
- SetOrderUnitsAreFundamental(O) : RngOrd ->
- Units(S) : AlgQuatOrd -> SeqEnum
- UnitsWithSigns(O, x) : RngOrd, RngElt -> [ RngOrdElt ]
- UnitsWithSigns(O, oo, Signs) : RngOrd, [ PlcNumElt ], [ RngInt ] -> [ RngOrdElt ]
- UnitsWithSigns(x) : RngOrdElt -> [ RngOrdElt ]
- pFundamentalUnits(O, p) : RngOrd, RngIntElt -> GrpAb, Map
V2.28, 13 July 2023