Documentation

IsMinusOne
- IsMinusOne(a) : AlgGenElt -> BoolElt
- IsMinusOne(a) : AlgMatElt -> BoolElt
- IsMinusOne(a) : FldACElt -> BoolElt
- IsMinusOne(A) : Mtrx -> BoolElt
- IsMinusOne(A) : MtrxSprs -> BoolElt
- IsMinusOne(a) : RngElt -> BoolElt
- IsMinusOne(a) : RngFunOrdResElt -> BoolElt
- IsMinusOne(a) : RngOrdResElt -> BoolElt
- IsMinusOne(x) : RngPadElt -> BoolElt
- IsMinusOne(s) : RngPowLazElt -> BoolElt
- IsOne(a) : RngLocAElt -> BoolElt
IsMixed
- IsMixed(G) : GrpAb -> BoolElt
IsMobile
- IsBasePointFree(D) : DivSchElt -> BoolElt
- IsMobile(D) : DivSchElt -> BoolElt
- BaseLocus(D) : DivSchElt -> Sch
IsModular
- IsModular(L) : LatNF -> BoolElt, RngOrdFracIdl
- IsModular(L, p) : LatNF, RngOrdIdl -> BoolElt, RngIntElt
IsModularCurve
- IsModularCurve(X) : Sch -> BoolElt
IsModuleHomomorphism
- IsModuleHomomorphism(f) : ModMatFldElt -> BoolElt
- IsModuleHomomorphism(X) : ModMatFldElt -> BoolElt
IsMonic
- IsMonic(L) : RngDiffOpElt -> BoolElt
IsMoriFibreSpace
- IsMoriFibreSpace(X,i) : TorVar,RngIntElt -> BoolElt
IsMorphism
- IsMorphism(f) : Map -> Bool
- IsMorphism(phi) : MapModAbVar -> BoolElt
IsNearLinearSpace
- IsNearLinearSpace(D) : Inc -> BoolElt
IsNearlyPerfect
- IsNearlyPerfect(C) : Code -> BoolElt
IsNeat
- IsNeat(G, H) : GrpAb, GrpAb -> BoolElt
IsNef
- IsNef(D) : DivSchElt -> BoolElt
- IsNef(D) : DivTorElt -> BoolElt
IsNefAndBig
- IsNefAndBig(D) : DivSchElt -> BoolElt
IsNegative
- IsNegative(W, r) : GrpPermCox, RngIntElt -> BoolElt
- IsNegative(R, r) : RootStr, RngIntElt -> BoolElt
- IsNegative(R, r) : RootSys, RngIntElt -> BoolElt
IsNegativeDefinite
- IsNegativeDefinite(F) : Mtrx -> BoolElt
IsNegativeSemiDefinite
- IsNegativeSemiDefinite(F) : Mtrx -> BoolElt
IsNew
- IsNew(M) : ModFrm -> BoolElt
- IsNew(M) : ModFrmHil -> BoolElt
- IsNew(M) : ModSym -> BoolElt
IsNewform
- IsNewform(f) : ModFrmElt -> BoolElt
IsNewtonPolygonOf
- IsNewtonPolygonOf(N, f) : NwtnPgon, RngElt -> BoolElt
IsNilpotent
- IsNilpotent(f) : AlgFPElt -> BoolElt, RngIntElt
- IsNilpotent(a) : AlgGenElt -> BoolElt, RngIntElt
- IsNilpotent(L) : AlgLie -> BoolElt
- IsNilpotent(a) : AlgMatElt -> BoolElt, RngIntElt
- IsNilpotent(G) : GrpFin -> BoolElt
- IsNilpotent(G) : GrpGPC -> BoolElt
- IsNilpotent(G) : GrpMat -> BoolElt
- IsNilpotent(G) : GrpMat -> BoolElt
- IsNilpotent(G) : GrpPC -> BoolElt
- IsNilpotent(G) : GrpPerm -> BoolElt
- IsNilpotent(x) : RngElt -> BoolElt
- IsNilpotent(f) : RngMPolResElt -> BoolElt, RngIntElt
IsNilpotentByFinite
- IsNilpotentByFinite(G : parameters) : GrpMat -> BoolElt
IsNilpotentMatrixGroupF
- GrpMatInf_IsNilpotentMatrixGroupF (Example H67E11)
- GrpMatInf_IsNilpotentMatrixGroupF (Example H67E12)
- GrpMatInf_IsNilpotentMatrixGroupF (Example H67E13)
- GrpMatInf_IsNilpotentMatrixGroupF (Example H67E14)
IsNodalCurve
- IsNodalCurve(C) : Crv-> BoolElt
IsNode
- IsNode(p) : Pt -> BoolElt
IsNondegenerate
- IsNondegenerate(V) : ModTupFld -> BoolElt
- IsNondegenerate(N) : NwtnPgon -> BoolElt
- IsNondegenerate(F) : NwtnPgonFace -> BoolElt
- IsNondegenerate(T) : TenSpcElt -> BoolElt
IsNonsingular
- IsNonsingular(V) : ModTupFld -> BoolElt
- IsNonsingular(p) : Pt -> BoolElt
- IsNonsingular(p) : Pt -> BoolElt
- IsNonsingular(C) : Sch -> BoolElt
- IsNonsingular(X) : Sch -> BoolElt
- IsNonsingular(C) : TorCon -> BoolElt
- IsNonsingular(F) : TorFan -> BoolElt
- IsNonsingular(X) : TorVar -> BoolElt
IsNorm
- IsNorm(A, x) : FldAb, RngOrdElt -> BoolElt
IsNormal
- IsNormal(A) : FldAb -> BoolElt
- IsNormal(F) : FldAlg -> BoolElt
- IsNormal(a) : FldFinElt -> BoolElt
- IsNormal(a, E) : FldFinElt -> BoolElt
- IsNormal(F) : FldNum -> BoolElt
- IsNormal(G, H) : GrpFin, GrpFin -> BoolElt
- IsNormal(G, H) : GrpFP, GrpFP -> BoolElt
- IsNormal(G, H) : GrpGPC, GrpGPC -> BoolElt
- IsNormal(G, H) : GrpMat, GrpMat -> BoolElt
- IsNormal(G, H) : GrpPC, GrpPC -> BoolElt
- IsNormal(G, H) : GrpPerm, GrpPerm -> BoolElt
- IsNormal(K) : RngPad -> BoolElt
- IsNormal(K, k) : RngPad, RngPad -> BoolElt
- IsNormal(S) : Srfc -> BoolElt

V2.28, 13 July 2023

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