Documentation

units
- The Group of Units (NEARFIELDS)
- Units (BASIC ALGEBRAS)
units-autos
- RngLoc_units-autos (Example H48E26)
UnitSquareClassReps
- UnitSquareClassReps(p) : RngOrdIdl -> SeqEnum
UnitsWithSigns
- UnitsWithSigns(O, x) : RngOrd, RngElt -> [ RngOrdElt ]
- UnitsWithSigns(O, oo, Signs) : RngOrd, [ PlcNumElt ], [ RngInt ] -> [ RngOrdElt ]
- UnitsWithSigns(x) : RngOrdElt -> [ RngOrdElt ]
UnitTrivialSubgroup
- UnitTrivialSubgroup(G) : GrpDrchNF -> GrpDrchNF
UnitVector
- UnitVector(M, i) : ModMPol, RngIntElt -> ModMPolElt
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: univ (GRÖBNER BASES)
Univariate
- IsUnivariate(f) : RngMPolElt -> BoolElt, RngUPolElt, RngIntElt
- IsUnivariate(f, i) : RngMPolElt, RngIntElt -> BoolElt, RngUPolElt
- UnivariateEliminationIdealGenerator(I, i) : RngMPol, RngIntElt -> RngMPolElt
- UnivariateEliminationIdealGenerators(I) : RngMPol -> [ RngMPolElt ]
- UnivariatePolynomial(f) : RngMPolElt -> RngUPolElt
univariate
- Univariate Elimination Ideal Generators (POLYNOMIAL RING IDEAL OPERATIONS)
- UNIVARIATE POLYNOMIAL RINGS
- Univariate Polynomials (MULTIVARIATE POLYNOMIAL RINGS)
univariate-elimination-ideal-generator
- Univariate Elimination Ideal Generators (POLYNOMIAL RING IDEAL OPERATIONS)
univariate-polynomial
- UNIVARIATE POLYNOMIAL RINGS
UnivariateEliminationIdealGenerator
- UnivariateEliminationIdealGenerator(I, i) : RngMPol, RngIntElt -> RngMPolElt
UnivariateEliminationIdealGenerators
- UnivariateEliminationIdealGenerators(I) : RngMPol -> [ RngMPolElt ]
UnivariatePolynomial
- UnivariatePolynomial(f) : RngMPolElt -> RngUPolElt
- RngMPol_UnivariatePolynomial (Example H25E5)
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, [ n₁, ..., n_m ]) : Cop, Str, [ Map ] -> Map
- UniversalPropertyOfCokernel(pi, f) : MapModAbVar, MapModAbVar -> MapModAbVar
- UniversalTensorSpace(T) : TenSpc -> TenSpc
universal
- Universal Map (COPRODUCTS)
Universal-cotensor-spaces
- Universal Cotensor Spaces (MULTILINEAR ALGEBRA)
Universal-tensor-spaces
- Universal Tensor Spaces (MULTILINEAR ALGEBRA)
universal_enveloping_algebras
- Universal Enveloping Algebras (LIE ALGEBRAS)
UniversalConst
- Multilinear_UniversalConst (Example H62E60)
UniversalCotensorSpace
- UniversalCotensorSpace(T) : TenSpc -> TenSpc
- Generic(T) : TenSpc -> TenSpc
- UniversalTensorSpace(T) : TenSpc -> TenSpc
UniversalCoTenSpc
- Multilinear_UniversalCoTenSpc (Example H62E50)
UniversalEnvelopingAlgebra
- UniversalEnvelopingAlgebra(L) : AlgLie -> AlgUE
UniversalHighWeightRepresentation
- UniversalHighWeightRepresentation(G,w) : GrpLie, SeqEnum -> Map,SeqEnum,SeqEnum
UniversalKTenSpc
- Multilinear_UniversalKTenSpc (Example H62E47)
UniversalMap
- UniversalMap(C, S, [ n₁, ..., n_m ]) : Cop, Str, [ Map ] -> Map
UniversalPropertyOfCokernel
- UniversalPropertyOfCokernel(pi, f) : MapModAbVar, MapModAbVar -> MapModAbVar
UniversalTensorSpace
- UniversalCotensorSpace(T) : TenSpc -> TenSpc
- Generic(T) : TenSpc -> TenSpc
- UniversalTensorSpace(T) : TenSpc -> TenSpc
UniversalTenSpc
- Multilinear_UniversalTenSpc (Example H62E48)
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)
universe
- Modifying the Universe of a Set or Sequence (INTRODUCTION TO AGGREGATES [SETS, SEQUENCES, AND MAPPINGS])
- Universe of a Set or Sequence (INTRODUCTION TO AGGREGATES [SETS, SEQUENCES, AND MAPPINGS])
universe-modification
- Modifying the Universe of a Set or Sequence (INTRODUCTION TO AGGREGATES [SETS, SEQUENCES, AND MAPPINGS])
UniverseCode
- UniverseCode(R, n) : FldFin, RngIntElt -> Code
- UniverseCode(R, n) : Rng, RngIntElt -> Code
Unlabelled
- UnlabelledGraph(G) : GrphMult -> GrphMult
UnlabelledGraph
- UnlabelledGraph(G) : GrphMult -> GrphMult
unram-ext
- RngLoc_unram-ext (Example H48E13)

V2.28, 13 July 2023

Magma is maintained and distributed by the Computational Algebra Group, School of Mathematics and Statistics, University of Sydney.