- 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
- ResidueRingUnits(S, I) : AlgEtQOrd, AlgEtQIdl -> GrpAb,Map
- 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
- units
- units-autos
- UnitSquareClassReps
- UnitsWithSigns
- UnitTrivialSubgroup
- UnitVector
- Unity
- HasRootOfUnity(L, n) : RngPad, RngIntElt -> BoolElt
- OrderOfRootOfUnity(r, n) : RngElt, RngIntElt -> RngIntElt
- RootOfUnity(n) : RngIntElt -> FldCycElt
- RootOfUnity(n, A) : RngIntElt, FldAC -> FldACElt
- RootOfUnity(n, K) : RngIntElt, FldCyc -> FldCycElt
- RootOfUnity(n, K) : RngIntElt, FldFin -> FldFinElt
- RootOfUnity(n, Q) : RngIntElt, FldRat -> FldRatElt
- univ
- Univariate
- univariate
- univariate-elimination-ideal-generator
- univariate-polynomial
- UnivariateEliminationIdealGenerator
- UnivariateEliminationIdealGenerators
- UnivariatePolynomial
- Universal
- Universal Cotensor Spaces (MULTILINEAR ALGEBRA)
- Universal Tensor Spaces (MULTILINEAR ALGEBRA)
- IntegralUEA(L) : AlgLie -> AlgIUE
- QuantizedUEA(R) : RootDtm -> AlgQUE
- UniversalEnvelopingAlgebra(L) : AlgLie -> AlgUE
- UniversalHighWeightRepresentation(G,w) : GrpLie, SeqEnum -> Map,SeqEnum,SeqEnum
- UniversalMap(C, S, [ n1, ..., nm ]) : Cop, Str, [ Map ] -> Map
- UniversalPropertyOfCokernel(pi, f) : MapModAbVar, MapModAbVar -> MapModAbVar
- UniversalTensorSpace(T) : TenSpc -> TenSpc
- universal
- Universal-cotensor-spaces
- Universal-tensor-spaces
- universal_enveloping_algebras
- UniversalConst
- UniversalCotensorSpace
- UniversalCoTenSpc
- UniversalEnvelopingAlgebra
- UniversalHighWeightRepresentation
- UniversalKTenSpc
- UniversalMap
- UniversalPropertyOfCokernel
- UniversalTensorSpace
- UniversalTenSpc
- Universe
- AdditiveUniverseCode(F, K, n) : FldFin,FldFin, RngIntElt -> Code
- CanChangeUniverse(S, V) : SeqEnum, Str -> Bool, SeqEnum
- CanChangeUniverse(S, V) : SetEnum, Str -> Bool, SeqEnum
- ChangeUniverse(~x, R) : ModTupRngElt, Rng -> ModRng, Map
- ChangeUniverse(S, V) : SeqEnum, Str ->
- ChangeUniverse(~S, V) : SetEnum, Str ->
- Universe(A): Assoc -> Str
- Universe(A) : GrpAbGen ->
- Universe(S) : SeqEnum -> Str
- Universe(R) : Set -> Str
- UniverseCode(R, n) : FldFin, RngIntElt -> Code
- UniverseCode(R, n) : Rng, RngIntElt -> Code
- Set_Universe (Example H10E1)
V2.29, 21 October 2025