Documentation

other-elts
- Eltseq(a) : ModDedElt -> SeqEnum
- Other Functions on Elements (MODULES OVER DEDEKIND DOMAINS)
other-general
- General function fields (ALGEBRAIC FUNCTION FIELDS)
other-global
- NumberOfPlacesDegECF(F, m) : FldFunG, RngIntElt -> RngIntElt
- Global Function Fields (ALGEBRAIC FUNCTION FIELDS)
other-ideal
- Other Functions on Ideals (UNIVARIATE POLYNOMIAL RINGS)
other-operations
- Other Operations (UNIVARIATE POLYNOMIAL RINGS)
- Other Operations on Cohomology Modules (COHOMOLOGY AND EXTENSIONS)
other-properties
- Other Properties of Linear Groups (MATRIX GROUPS OVER INFINITE FIELDS)
other-quotient
- Other Functions on Quotients (UNIVARIATE POLYNOMIAL RINGS)
OtherMod
- ModAlg_OtherMod (Example H97E46)
Others
- New Groups From Others (MATRIX GROUPS OVER Q AND Z)
Out
- DivideOutIntegers(phi) : MapModAbVar -> MapModAbVar, RngIntElt
- MaximumOutDegree(G) : GrphDir -> RngIntElt, GrphVert
- MaximumOutDegree(G) : GrphMultDir -> RngIntElt, GrphVert
- MinimumOutDegree(G) : GrphDir -> RngIntElt, GrphVert
- MinimumOutDegree(G) : GrphMultDir -> RngIntElt, GrphVert
- OutDegree(u) : GrphVert -> RngIntElt
- OutDegree(u) : GrphVert -> RngIntElt
- OutNeighbours(u) : GrphVert -> { GrphVert }
- OutNeighbours(u) : GrphVert -> { GrphVert }
OutDegree
- OutDegree(u) : GrphVert -> RngIntElt
- OutDegree(u) : GrphVert -> RngIntElt
Outer
- OuterNormal(C) : TorCon -> TorLatElt
- InnerNormal(C) : TorCon -> TorLatElt
- InnerNormals(F) : TorFan -> SeqEnum
- IsInner(R) : RootDtm -> BoolElt
- OuterFPGroup(A) : GrpAuto -> GrpFP, Map
- OuterFaces(N) : NwtnPgon -> SeqEnum
- OuterOrder(A) : GrpAuto -> RngIntElt
- OuterVertices(N) : NwtnPgon -> SeqEnum
- Shape(t) : Tbl -> SeqEnum[RngIntElt]
OuterFaces
- OuterFaces(N) : NwtnPgon -> SeqEnum
OuterFPGroup
- OuterFPGroup(A) : GrpAuto -> GrpFP, Map
OuterNormal
- OuterNormal(C) : TorCon -> TorLatElt
- InnerNormal(C) : TorCon -> TorLatElt
OuterNormals
- OuterNormals(F) : TorFan -> SeqEnum
- InnerNormals(F) : TorFan -> SeqEnum
OuterOrder
- OuterOrder(A) : GrpAuto -> RngIntElt
OuterShape
- OuterShape(t) : Tbl -> SeqEnum
- Shape(t) : Tbl -> SeqEnum[RngIntElt]
OuterVertices
- OuterVertices(N) : NwtnPgon -> SeqEnum
OutNeighbors
- OutNeighbors(u) : GrphVert -> { GrphVert }
- OutNeighbours(u) : GrphVert -> { GrphVert }
- OutNeighbours(u) : GrphVert -> { GrphVert }
OutNeighbours
- OutNeighbors(u) : GrphVert -> { GrphVert }
- OutNeighbours(u) : GrphVert -> { GrphVert }
- OutNeighbours(u) : GrphVert -> { GrphVert }
Output
- Verbose Output (BRANDT MODULES)
- HasOutputFile() : -> BoolElt
- SetOutputFile(F) : MonStgElt ->
- SetOutputFile(F) : MonStgElt ->
- UnsetOutputFile() : ->
output
- Redirecting Output (INPUT AND OUTPUT)
Oval
- OvalDerivation(q: parameters) : RngIntElt -> PlaneAff, PlanePtSet, PlaneLnSet
OvalDerivation
- OvalDerivation(q: parameters) : RngIntElt -> PlaneAff, PlanePtSet, PlaneLnSet
Over
- AbsoluteModuleOverMinimalField(M) : ModGrp -> ModGrp
- AbsoluteModuleOverMinimalField(M) : ModGrp -> ModGrp
- AbsoluteModuleOverMinimalField(M, F) : ModGrp, FldFin -> ModGrp
- AbsoluteModulesOverMinimalField(Q, F) : [ ModGrp ], FldFin -> [ ModGrp ]
- AlgebraOverCenter(A) : Alg -> AlgAss, Map;
- AutomorphismGroupOverCyclotomicExtension(CN,N,n): Crv, RngIntElt, RngIntElt -> GrpAutCrv
- AutomorphismGroupOverExtension(CN,N,n,u): Crv, RngIntElt, RngIntElt, RngElt -> GrpAutCrv
- AutomorphismGroupOverQ(CN,N): Crv, RngIntElt -> GrpAutCrv
- DirichletCharacterOverNF(chi) : GrpDrchElt -> GrpDrchNFElt
- FactorizationOverSplittingField(f) : RngUPolElt[FldFin] -> [<RngUPolElt, RngIntElt>], FldFin
- GHomOverCentralizingField(M, N) : ModGrp, ModGrp -> ModMatGrp
- GeneratorsOverBaseRing(K) : FldNum -> FldNumElt
- GeneratorsSequenceOverBaseRing(K) : FldNum -> [FldNumElt]
- HasPointsOverExtension(X) : Sch -> BoolElt
- HasSingularPointsOverExtension(C) : Sch -> BoolElt
- IntegralMatrixOverQ(phi) : MapModAbVar -> ModMatFldElt
- IsIsomorphicOverQt(K, L) : FldFun, FldFun -> BoolElt, Map
- IsOverQ(H) : HomModAbVar -> HomModAbVar
- IsOverSmallerField(G : parameters) : GrpMat -> BoolElt, GrpMat
- IsOverSmallerField(G, k : parameters) : GrpMat -> BoolElt, GrpMat
- IsRealisableOverSmallerField(M) : ModGrp -> BoolElt, ModGrp
- IsRealisableOverSubfield(M, F) : ModGrp, FldFin -> BoolElt, ModGrp
- LiftDescendant(C) : CrvHyp -> SeqEnum[ CrvHyp ], List, MapSch
- LogCanonicalThresholdOverExtension(C) : Sch -> FldRatElt
- ModuleOverSmallerField(M, F) : ModGrp, FldFin -> ModGrp
- ModulesOverCommonField(M, N) : ModGrp, ModGrp -> ModGrp, ModGrp
- ModulesOverSmallerField(Q, F) : SeqEnum, FldFin -> ModGrp
- NumberOfPlacesOfDegreeOneECFBound(C) : Crv -> RngIntElt
- NumberOfPlacesOfDegreeOneECFBound(F) : FldFunG -> RngIntElt
- NumberOfPlacesOfDegreeOneOverExactConstantField(C) : Crv[FldFin] -> RngIntElt
- NumberOfPlacesOfDegreeOneOverExactConstantField(C, m) : Crv[FldFin], RngIntElt -> RngIntElt
- NumberOfPlacesOfDegreeOneOverExactConstantField(F, m) : FldFun, RngIntElt -> RngIntElt
- NumberOfPlacesOfDegreeOneOverExactConstantField(F) : FldFunG -> RngIntElt
- NumberOfPlacesOfDegreeOneOverExactConstantField(F, m) : FldFunG, RngIntElt -> RngIntElt
- NumberOfPlacesOfDegreeOneOverExactConstantFieldBound(F, m) : FldFun, RngIntElt -> RngIntElt
- NumberOfPlacesOfDegreeOverExactConstantField(C, m) : Crv[FldFin], RngIntElt -> RngIntElt
- NumberOfPlacesOfDegreeOverExactConstantField(F, m) : FldFun, RngIntElt -> RngIntElt
- NumberOfPlacesOfDegreeOverExactConstantField(F, m) : FldFunG, RngIntElt -> RngIntElt
- OverDimension(V) : ModTupFld -> RngIntElt
- OverDimension(u) : ModTupFldElt -> RngIntElt
- OverDimension(M) : ModTupRng -> RngIntElt
- OverDimension(u) : ModTupRngElt -> RngIntElt
- PointsOverDiscriminantPoint(X, k) : RieSrf, RngIntElt -> SeqEnum[RieSrfPt]
- PointsOverSplittingField(Z) : Clstr -> SetEnum
- TensorOverCentroid(T) : TenSpcElt -> TenSpcElt, Hmtp
- WeilPolynomialOverFieldExtension(f, deg) : RngUPolElt, RngIntElt -> RngUPolElt
- WriteGModuleOver(M, K) : ModGrp, FldAlg -> ModGrp
- WriteOverLargerField(G) : GrpMat -> GrpMat, GrpAb, SeqEnum
- WriteOverSmallerField(G, F) : GrpMat, FldFin -> GrpMat, Map
- WriteOverSmallerField(M, F) : ModGrp, FldFin -> ModGrp, Map

V2.28, 13 July 2023

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