Documentation

IsLocalSquare
- IsLocalSquare(a, p) : RngElt, RngOrdIdl -> BoolElt
IsLongRoot
- IsLongRoot(G, r) : GrpLie, RngIntElt -> BoolElt
- IsLongRoot(W, r) : GrpPermCox, RngIntElt -> BoolElt
- IsLongRoot(R, r) : RootStr, RngIntElt -> BoolElt
- IsLongRoot(R, r) : RootSys, RngIntElt -> BoolElt
IsLorentzian
- IsLorentzian(L) : LatNF -> BoolElt, ModTupFldElt, RngIntElt
IsLowerTriangular
- IsLowerTriangular(A) : Mtrx -> BoolElt
- IsLowerTriangular(A) : MtrxSprs -> BoolElt
IsMagmaEuclideanRing
- IsMagmaEuclideanRing(R) : Rng -> BoolElt
IsMatrixRing
- IsMatrixRing(A) : AlgQuat -> BoolElt, AlgMat, Map
IsMaximal
- IsMaximal(O) : AlgAssVOrd -> BoolElt
- IsMaximal(S) : AlgEtQOrd -> BoolElt
- IsMaximal(G, H) : GrpAb, GrpAb -> BoolElt
- IsMaximal(G, H) : GrpFin, GrpFin -> BoolElt
- IsMaximal(G, H) : GrpFP, GrpFP -> BoolElt
- IsMaximal(G, H) : GrpMat, GrpMat -> BoolElt
- IsMaximal(G, H) : GrpPC, GrpPC -> BoolElt
- IsMaximal(L) : LatNF -> BoolElt, LatNF
- IsMaximal(G, H: parameters) : GrpPerm, GrpPerm -> BoolElt
- IsMaximal(O) : RngFunOrd -> BoolElt
- IsMaximal(I) : RngMPol -> BoolElt
- IsMaximal(O) : RngOrd -> BoolElt
IsMaximalAtPrime
- IsMaximalAtPrime(R, P) : AlgEtQOrd, AlgEtQIdl -> BoolElt
IsMaximalIntegral
- IsMaximalIntegral(L) : LatNF -> BoolElt, LatNF
IsMaximisingFunction
- IsMaximisingFunction(L) : LP -> BoolElt
IsMaximumDimensional
- IsMaximumDimensional(C) : TorCon -> BoolElt
IsMaximumDistanceSeparable
- IsMDS(C) : Code -> BoolElt
- IsMaximumDistanceSeparable(C) : Code -> BoolElt
IsMDS
- IsMDS(C) : Code -> BoolElt
- IsMaximumDistanceSeparable(C) : Code -> BoolElt
IsMemberBasicOrbit
- IsMemberBasicOrbit(G, i, a) : GrpPerm, RngIntElt, Elt -> BoolElt
IsMetacyclicPGroup
- IsMetacyclicPGroup(P) : Grp -> BoolElt
IsMinimal
- IsMinimal(pi) : RepLoc -> BoolElt, GrpDrchElt, RepLoc
IsMinimalModel
- IsMinimalModel(E) : CrvEll -> BoolElt
IsMinimalTwist
- IsMinimalTwist(M, p) : ModSym, RngIntElt -> BoolElt, ModSym, GrpDrchElt
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

V2.29, 21 October 2025

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