[____] [____] [_____] [____] [__] [Index] [Root]
Subindex: unit .. Universe
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 H68E13)
IsUnital(P, U) : Plane, { PlanePt } -> BoolElt
UnitalFeet(P, U, p) : Plane, { PlanePt }, PlanePt -> { PlanePt }
Unitals (FINITE PLANES)
Plane_unital (Example H105E11)
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)
UnitaryForm(G) : GrpMat -> AlgMatElt
RngOrd_uniteq (Example H50E26)
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 H50E19)
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 H61E22)
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
Unity(W) : RngWitt -> RngWittElt
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
RngMPol_UnivariatePolynomial (Example H39E5)
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
Set_Universe (Example H7E1)
[____] [____] [_____] [____] [__] [Index] [Root]