[____] [____] [_____] [____] [__] [Index] [Root]
Index U
ChebyshevU(n) : RngIntElt -> RngUPolElt
ChebyshevSecond(n) : RngIntElt -> RngUPolElt
HypergeometricU(a, b, s) : FldPrElt, FldPrElt, FldPrElt -> FldPrElt
ProjectiveGammaUnitaryGroup(arguments)
ProjectiveSigmaUnitaryGroup(arguments)
u
U
u
U
IsUniqueFactorizationDomain(R) : Rng -> BoolElt
IsUFD(R) : Rng -> BoolElt
Undefine(~S, i) : SeqEnum, RngIntElt ->
UnderlyingDigraph(G) : GrphUnd -> GrphDir
UnderlyingGraph(D) : GrphDir -> GrphUnd
UnderlyingGraph(g) : GrphRes -> GrphDir
UnderlyingGraph(s) : GrphSpl -> GrphDir
UnderlyingVertex(v) : GrphSplVert -> GrphVert
Associated Vector Space (MODULAR SYMBOLS)
Associated Vector Space (MODULAR SYMBOLS)
UnderlyingDigraph(G) : GrphUnd -> GrphDir
UnderlyingGraph(D) : GrphDir -> GrphUnd
UnderlyingGraph(g) : GrphRes -> GrphDir
UnderlyingGraph(s) : GrphSpl -> GrphDir
UnderlyingVertex(v) : GrphSplVert -> GrphVert
Func_Underscore (Example H2E3)
Multiple Assignment (OVERVIEW)
Combinatorial and Geometrical Structures (OVERVIEW)
Comparison (OVERVIEW)
Ungetc(F, c) : MonStgElt, File -> MonStgElt
IsUniform(D) : Inc -> BoolElt, RngIntElt
UniformizingElement(P) : PlcFunElt -> FldFunGElt
LocalUniformizer(P) : PlcFunElt -> FldFunGElt
UniformizingElement(P) : PlcFunElt -> FldFunGElt
LocalUniformizer(P) : PlcFunElt -> FldFunGElt
Prime(P) : FldLoc -> RngIntElt
P . 1 : RngLoc -> RngLocElt
PrimitiveElement(I) : RngOrdIdl -> RngOrdElt
UniformizingElement(L) : RngLoc -> RngLocElt
UniformizingParameter(P) : PlcCrvElt -> FldFunRatMElt
UniformizingParameter(p) : Pt -> FldFunRatMElt
UniformizingElement(P) : PlcFunElt -> FldFunGElt
LocalUniformizer(P) : PlcFunElt -> FldFunGElt
Prime(P) : FldLoc -> RngIntElt
PrimitiveElement(I) : RngOrdIdl -> RngOrdElt
UniformizingElement(L) : RngLoc -> RngLocElt
UniformizingParameter(P) : PlcCrvElt -> FldFunRatMElt
UniformizingParameter(p) : Pt -> FldFunRatMElt
Uninitialized Identifiers (MAGMA SEMANTICS)
Uninitialized Identifiers (MAGMA SEMANTICS)
ClassUnion(A) : GrpAuto -> SetIndx
CompleteUnion(G, H) : GrphDir, GrphDir -> GrphDir
EdgeUnion(G, H) : GrphDir, GrphDir -> GrphDir
Union(G, H) : GrphUnd, GrphUnd -> GrphUnd
Union(D, E) : Inc, Inc -> Inc
Union(C,D) : Sch,Sch -> Sch
X join Y : Sch,Sch -> Sch
Sets (OVERVIEW)
Unions and Products of Graphs (GRAPHS)
Unions and Products of Graphs (GRAPHS)
UnipotentStabiliser(G, U: parameters) : Grp, ModTupFld -> GrpMat, ModTupFld, GrpMatElt
UnipotentStabiliser(G, U: parameters) : Grp, ModTupFld -> GrpMat, ModTupFld, GrpMatElt
GrpMat_UnipotentStabiliser (Example H21E23)
IsUniqueFactorizationDomain(R) : Rng -> BoolElt
IsUFD(R) : Rng -> BoolElt
IsUniquePartialRoot(f, c) : RngUPolElt, RngSerElt -> BoolElt
ExceptionalUnitOrbit(u) : RngOrdElt -> [ RngOrdElt ]
FundamentalUnit(K) : FldQuad -> FldQuadElt
GlobalUnitGroup(F) : FldFun -> GrpAb, Map
GlobalUnitGroup(F) : FldFun -> GrpAb, Map
IsExceptionalUnit(u) : RngOrdElt -> BoolElt
IsGlobalUnit(a) : FldFunElt -> BoolElt
IsGlobalUnit(a) : FldFunElt -> BoolElt
IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt
IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt
IsTorsionUnit(w) : RngOrdElt -> BoolElt
IsUnit(a) : AlgGenElt -> BoolElt, AlgGenElt
IsUnit(a) : AlgMatElt -> BoolElt
IsUnit(A) : Mtrx -> BoolElt
IsUnit(a) : RngElt -> BoolElt
IsUnit(x) : RngLocElt -> BoolElt
IsUnit(f) : RngMPolResElt -> BoolElt
IsUnit(a) : RngOrdResElt -> BoolElt
IsUnitWithPreimage(a) : RngFunOrdElt -> BoolElt, GrpAbElt
MatrixUnit(R, i, j) : AlgMat, RngIntElt, RngIntElt -> AlgMatElt
MultiplicativeGroup(F) : FldFin -> GrpAb, Map
MultiplicativeGroup(Z) : RngInt -> GrpAb, Map
MultiplicativeGroup(R) : RngIntRes -> GrpAb, Map
SetOrderTorsionUnit(O, e, r) : RngOrd, RngOrdElt, RngIntElt ->
TorsionUnitGroup(O) : RngOrd -> GrpAb, Map
UnitEquation(a, b, c) : FldNumElt, FldNumElt, FldNumElt -> [ ModHomElt ]
UnitGroup(S) : AlgQuatOrd -> GrpPerm, Map
UnitGroup(Q) : FldRat -> GrpAb, Map
UnitGroup(O) : RngFunOrd -> GrpAb, Map
UnitGroup(O) : RngOrd -> GrpAb, Map
UnitGroup(OQ) : RngOrdRes -> GrpAb, Map
UnitRank(O) : RngFunOrd -> RngIntElt
UnitRank(O) : RngOrd -> RngIntElt
UnitRank(O) : RngOrd -> RngIntElt
UnitRank(O) : RngOrd -> RngIntElt
Unit Equations (ORDERS AND ALGEBRAIC FIELDS)
Unit Groups (ORDERS AND ALGEBRAIC FIELDS)
Units and Unit Groups (QUATERNION ALGEBRAS)
Unit Equations (ORDERS AND ALGEBRAIC FIELDS)
Unit Groups (ORDERS AND ALGEBRAIC FIELDS)
Units and Unit Groups (QUATERNION ALGEBRAS)
AlgQuat_Unit_Group (Example H71E13)
IsUnital(P, U) : Plane, { PlanePt } -> BoolElt
UnitalFeet(P, U, p) : Plane, { PlanePt }, PlanePt -> { PlanePt }
Unitals (FINITE PLANES)
Plane_unital (Example H95E11)
UnitalFeet(P, U, p) : Plane, { PlanePt }, PlanePt -> { PlanePt }
GU(arguments)
GeneralUnitaryGroup(arguments)
IsUnitary(R) : Rng -> BoolElt
IsUnitaryGroup(G) : GrpMat -> BoolElt
ProjectiveGammaUnitaryGroup(arguments)
ProjectiveGeneralUnitaryGroup(arguments)
ProjectiveSigmaUnitaryGroup(arguments)
ProjectiveSpecialUnitaryGroup(arguments)
ScalarsUnitaryForm(G) : GrpMat -> SeqEnum
SpecialUnitaryGroup(arguments)
UnitaryForm(G) : GrpMat -> AlgMatElt
SU(arguments)
General and Special Unitary Groups (MATRIX GROUPS)
Imprimitive Unitary Reflection Groups (REFLECTION GROUPS)
Primitive Unitary Reflection Groups (REFLECTION GROUPS)
UnitaryForm(G) : GrpMat -> AlgMatElt
RngOrd_uniteq (Example H53E28)
UnitEquation(a, b, c) : FldNumElt, FldNumElt, FldNumElt -> [ ModHomElt ]
UnitGroup(F) : FldFin -> GrpAb, Map
MultiplicativeGroup(F) : FldFin -> GrpAb, Map
MultiplicativeGroup(Z) : RngInt -> GrpAb, Map
MultiplicativeGroup(R) : RngIntRes -> GrpAb, Map
UnitGroup(S) : AlgQuatOrd -> GrpPerm, Map
UnitGroup(Q) : FldRat -> GrpAb, Map
UnitGroup(O) : RngFunOrd -> GrpAb, Map
UnitGroup(O) : RngOrd -> GrpAb, Map
UnitGroup(OQ) : RngOrdRes -> GrpAb, Map
RngOrd_UnitGroup (Example H53E19)
UnitRank(O) : RngFunOrd -> RngIntElt
UnitRank(O) : RngOrd -> RngIntElt
UnitRank(O) : RngOrd -> RngIntElt
ExceptionalUnits(O) : RngOrd -> [ RngOrdElt ]
FundamentalUnits(O) : RngFunOrd -> SeqEnum[RngFunOrdElt]
IndependentUnits(O) : RngFunOrd -> SeqEnum[RngFunOrdElt]
IndependentUnits(O) : RngOrd -> GrpAb, Map
MergeUnits(K, a) : FldNum, FldNumElt -> BoolElt
SetOrderUnitsAreFundamental(O) : RngOrd ->
Units(S) : AlgQuatOrd -> SeqEnum
pFundamentalUnits(O, p) : RngOrd, RngIntElt -> GrpAb, Map
Order and Ideal Isomorphisms (QUATERNION ALGEBRAS)
RngLoc_units-autos (Example H59E21)
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
Univariate: univ (IDEAL THEORY AND GRÖBNER BASES)
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 Elimination Ideal Generators (IDEAL THEORY AND GRÖBNER BASES)
UNIVARIATE POLYNOMIAL RINGS
Univariate Polynomials (MULTIVARIATE POLYNOMIAL RINGS)
Univariate Elimination Ideal Generators (IDEAL THEORY AND GRÖBNER BASES)
UNIVARIATE POLYNOMIAL RINGS
UnivariateEliminationIdealGenerator(I, i) : RngMPol, RngIntElt -> RngMPolElt
UnivariateEliminationIdealGenerators(I) : RngMPol -> [ RngMPolElt ]
UnivariatePolynomial(f) : RngMPolElt -> RngUPolElt
UniversalMap(C, S, [ n_1, ..., n_m ]) : Cop, Str, [ Map ] -> Map
Universal Map (COPRODUCTS)
UniversalMap(C, S, [ n_1, ..., n_m ]) : Cop, Str, [ Map ] -> Map
CanChangeUniverse(S, V) : SeqEnum, Str -> Bool, SeqEnum
CanChangeUniverse(S, V) : SetEnum, Str -> Bool, SeqEnum
ChangeUniverse(S, V) : SeqEnum, Str ->
ChangeUniverse(~S, V) : SetEnum, Str ->
Universe(A) : GrpAbGen ->
Universe(S) : Seq -> Struct
Universe(R) : Set -> Struct
UniverseCode(R, n) : FldFin, RngIntElt -> Code
UniverseCode(R, n) : Rng, RngIntElt -> Code
UniverseCode(R, n) : Rng, RngIntElt -> Code
Set_Universe (Example H7E1)
Modifying the Universe of a Set or Sequence (INTRODUCTION [SETS, SEQUENCES, AND MAPPINGS])
Universe of a Set or Sequence (INTRODUCTION [SETS, SEQUENCES, AND MAPPINGS])
Modifying the Universe of a Set or Sequence (INTRODUCTION [SETS, SEQUENCES, AND MAPPINGS])
UniverseCode(R, n) : FldFin, RngIntElt -> Code
UniverseCode(R, n) : Rng, RngIntElt -> Code
UniverseCode(R, n) : Rng, RngIntElt -> Code
UnlabelledCayleyGraph(A) : Grp -> GrphDir
CayleyGraph(A) : Grp -> GrphDir
SchreierGraph(A, B) : Grp, Grp -> GrphDir
UnlabelledCayleyGraph(A) : Grp -> GrphDir
CayleyGraph(A) : Grp -> GrphDir
UnlabelledSchreierGraph(A, B) : Grp, Grp -> GrphDir
SchreierGraph(A, B) : Grp, Grp -> GrphDir
UnprojectionChains(X,DB) : VSrfK3,SeqEnum -> SeqEnum
UnprojectionChains(X,DB) : VSrfK3,SeqEnum -> SeqEnum
Unprojections(X) : VSrfK3 -> SeqEnum
Unprojections(~X,DB) : VSrfK3,SeqEnum ->
RngLoc_unram-ext (Example H59E9)
RngPad_unram-ext (Example H42E7)
IsUnramified(K) : FldAlg -> BoolElt
IsUnramified(O) : RngOrd -> BoolElt
IsUnramified(P) : RngOrdIdl -> BoolElt
IsUnramified(P, O) : RngOrdIdl, RngOrd -> BoolElt
UnramifiedExtension(L, f) : RngLoc, RngIntElt -> RngLoc
UnramifiedExtension(L, f) : RngLoc, RngIntElt -> RngLoc
GroebnerBasisUnreduced(S: parameters) : [ RngMPolElt ] -> [ RngMPolElt ]
UnsetLogFile() : ->
SetLogFile(F) : MonStgElt ->
SetOutputFile(F) : MonStgElt ->
UnsetBounds(L) : LP ->
UnsetGlobalTCParameters() : ->
UnsetLogFile() : ->
UnsetOutputFile() : ->
UnsetBounds(L) : LP ->
UnsetGlobalTCParameters() : ->
UnsetLogFile() : ->
SetLogFile(F) : MonStgElt ->
UnsetLogFile() : ->
UnsetOutputFile() : ->
SetOutputFile(F) : MonStgElt ->
UnsetOutputFile() : ->
The repeat statement (OVERVIEW)
Loading files (OVERVIEW)
Magma Updates (OVERVIEW)
SetUpperBound(L, n, b) : LP, RngIntElt, RngElt ->
UpperCentralSeries(L) : AlgLie -> [ AlgLie ]
UpperCentralSeries(G) : GrpAb -> [GrpAb]
UpperCentralSeries(G) : GrpFin -> [ GrpFin ]
UpperCentralSeries(G) : GrpGPC -> [GrpGPC]
UpperCentralSeries(G) : GrpMat -> [ GrpMat ]
UpperCentralSeries(G) : GrpPC -> [GrpPC]
UpperCentralSeries(G) : GrpPerm -> [ GrpPerm ]
UpperHalfPlaneWithCusps() : -> SpcHyp
UpperTriangularMatrix(R, Q) : Rng, [ RngElt ] -> Mtrx
UpperTriangularMatrix(Q) : [ RngElt ] -> Mtrx
VerifyMinimumDistanceUpperBound(C, d) : Code, RngIntElt -> BoolElt, RngIntElt, BoolElt
The Upper Half Plane (SUBGROUPS OF PSL_2(R))
GrpPSL2_Upper-half-plane-example (Example H33E6)
The Upper Half Plane (SUBGROUPS OF PSL_2(R))
GammaUpper0(N) : RngIntElt -> GrpPSL2
GammaUpper1(N) : RngIntElt -> GrpPSL2
UpperCentralSeries(L) : AlgLie -> [ AlgLie ]
UpperCentralSeries(G) : GrpAb -> [GrpAb]
UpperCentralSeries(G) : GrpFin -> [ GrpFin ]
UpperCentralSeries(G) : GrpGPC -> [GrpGPC]
UpperCentralSeries(G) : GrpMat -> [ GrpMat ]
UpperCentralSeries(G) : GrpPC -> [GrpPC]
UpperCentralSeries(G) : GrpPerm -> [ GrpPerm ]
UpperHalfPlaneWithCusps() : -> SpcHyp
UpperTriangularMatrix(R, Q) : Rng, [ RngElt ] -> Mtrx
UpperTriangularMatrix(Q) : [ RngElt ] -> Mtrx
Resolution of Singularities (PLANE ALGEBRAIC CURVES)
GetMaximumMemoryUsage() : -> RngIntElt
GetMemoryUsage() : -> RngIntElt
ResetMaximumMemoryUsage() : ->
ShowMemoryUsage() : ->
GetHelpUseExternal() : -> BoolElt, BoolElt
SetHelpUseExternalBrowser(b) : BoolElt ->
SetHelpUseExternalSystem(b) : BoolElt ->
The `first use' Rule (MAGMA SEMANTICS)
The `single use' Rule (MAGMA SEMANTICS)
UserGenerators(A) : GrpAbGen -> [ GrpAbGenElt ]
UserRepresentation(g) : GrpAbGenElt -> [RngIntElt]
User-defined Attributes (FUNCTIONS, PROCEDURES AND PACKAGES)
MAGMA_USER_SPEC
UserGenerators(A) : GrpAbGen -> [ GrpAbGenElt ]
UserRepresentation(g) : GrpAbGenElt -> [RngIntElt]
[____] [____] [_____] [____] [__] [Index] [Root]