Documentation

IsLe
- IsLE(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
- IsLe(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
- u ≤v : GrpBrdElt, GrpBrdElt -> BoolElt
IsLeaf
- IsLeaf(m) : AlgFPLieElt -> BoolElt, AlgFPLieElt, AlgFPLieElt
- AlgLie_IsLeaf (Example H107E5)
IsLeftIdeal
- IsRightIdeal(I) : AlgAssVOrdIdl -> BoolElt
- IsTwoSidedIdeal(I) : AlgAssVOrdIdl -> BoolElt
- IsLeftIdeal(I) : AlgAssVOrdIdl -> BoolElt
- IsLeftIdeal(A,S) : AlgBas, ModTupFld -> Bool
- IsLeftIdeal(S) : AlgGrpSub -> BoolElt
IsLeftIsomorphic
- IsRightIsomorphic(I, J) : AlgAssVOrdIdl[RngOrd], AlgAssVOrdIdl[RngOrd] -> BoolElt, AlgQuatElt
- IsLeftIsomorphic(I, J) : AlgAssVOrdIdl[RngOrd], AlgAssVOrdIdl[RngOrd] -> BoolElt, AlgQuatElt
- IsLeftIsomorphic(I, J) : AlgQuatOrdIdl, AlgQuatOrdIdl -> BoolElt, Map, AlgQuatElt
IsLeftModule
- IsLeftModule(M): ModAlg -> BoolElt
IsLexicographicallyOrdered
- IsLexicographicallyOrdered(w1, w2) : MonOrdElt, MonOrdElt -> boolean
IsLie
- IsLie(A) : AlgGen -> BoolElt
IsLinear
- IsLinear(x) : AlgChtrElt -> BoolElt
- IsLinear(f) : MapSch -> BoolElt
- IsLinear(X) : Sch -> BoolElt
IsLinearGroup
- IsLinearGroup(G) : GrpMat -> BoolElt
IsLinearlyDependent
- IsLinearlyIndependent(points) : [PtEll] -> BoolElt, ModTupRngElt
- IndependentGenerators(points) : [PtEll] -> [PtEll]
- IsLinearlyDependent(points) : [PtEll] -> BoolElt, ModTupRngElt
IsLinearlyEquivalent
- IsLinearlyEquivalent(D,E) : DivTorElt,DivTorElt -> BoolElt
- AreLinearlyEquivalent(D,E) : DivTorElt,DivTorElt -> BoolElt
- IsLinearlyEquivalent(D1,D2) : DivCrvElt,DivCrvElt -> BoolElt
- IsLinearlyEquivalent(D,E) : DivSchElt, DivSchElt -> BoolElt, FldFunFracSchElt
IsLinearlyEquivalentToCartier
- IsLinearlyEquivalentToCartier(D) : DivTorElt -> BoolElt, DivTorElt
IsLinearlyIndependent
- IsLinearlyIndependent(points) : [PtEll] -> BoolElt, ModTupRngElt
- IndependentGenerators(points) : [PtEll] -> [PtEll]
- IsLinearlyDependent(points) : [PtEll] -> BoolElt, ModTupRngElt
- IsLinearlyIndependent(P, Q) : PtEll, PtEll -> BoolElt, ModTupElt
- IsLinearlyIndependent(P, Q, n) : PtEll, PtEll, RngIntElt -> BoolElt
- IsLinearlyIndependent(S) : [ PtEll ] -> BoolElt, ModTupElt
- IsLinearlyIndependent(S, n) : [ PtEll ], RngIntElt -> BoolElt
IsLinearSpace
- IsLinearSpace(D) : Inc -> BoolElt
- IsLinearSpace(C) : TorCon -> BoolElt
IsLinearSystemNonEmpty
- IsLinearSystemNonEmpty(D) : DivSchElt -> BoolElt, DivSchElt
IsLineRegular
- IsLineRegular(D) : IncNsp -> BoolElt, RngIntElt
IsLineTransitive
- IsLineTransitive(P) : Plane -> BoolElt
IsLittlewoodRichardson
- IsLittlewoodRichardson(t) : Tbl -> BoolElt
IsLocalIdeal
- IsLocalIdeal(T, S, I) : TenSpcElt, TenSpcElt, RngIntElt -> BoolElt
IsLocallyFree
- IsLocallyFree(S) : ShfCoh -> BoolElt, RngIntElt
IsLocallyIsometric
- IsLocallyIsometric(L1, L2, p) : LatNF, LatNF, RngOrdIdl -> BoolElt
IsLocallySoluble
- IsLocallySoluble(model) : ModelG1 -> BoolElt
- IsLocallySoluble(model, p) : ModelG1, RngIntElt -> BoolElt, Any
IsLocallySolvable
- IsLocallySolvable(C) : CrvCon -> BoolElt
- IsLocallySolvable(X,pl) : Sch, PlcFunElt -> BoolElt, Pt
- IsLocallySolvable(X, p) : Sch, RngOrdIdl -> BoolElt, Pt
IsLocallyTwoTransitive
- Is2T1(C) : CosetGeom -> BoolElt
- IsLocallyTwoTransitive(C) : CosetGeom -> BoolElt
IsLocalNorm
- IsLocalNorm(A, x) : FldAb, RngOrdElt -> BoolElt
- IsLocalNorm(A, x, p) : FldAb, RngOrdElt, PlcNumElt -> BoolElt
- IsLocalNorm(A, x, i) : FldAb, RngOrdElt, RngIntElt -> BoolElt
- IsLocalNorm(A, x, p) : FldAb, RngOrdElt, RngOrdIdl -> BoolElt
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(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
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

V2.28, 13 July 2023

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