Documentation

IsPrincipalIdealDomain
- IsPrincipalIdealDomain(R) : Rng -> BoolElt
- IsPID(R) : Rng -> BoolElt
IsPrincipalIdealRing
- IsPrincipalIdealRing(R) : Rng -> BoolElt
- IsPIR(R) : Rng -> BoolElt
- IsPrincipalIdealRing(F) : FldAlg -> BoolElt
- IsPrincipalIdealRing(F) : FldNum -> BoolElt
- IsPrincipalIdealRing(O) : RngOrd -> BoolElt
IsPrincipalSeries
- IsPrincipalSeries(pi) : RepLoc -> BoolElt
IsProbablePrime
- IsProbablyPrime(n: parameter) : RngIntElt -> BoolElt
- IsProbablePrime(n: parameter) : RngIntElt -> BoolElt
IsProbablyMaximal
- IsProbablyMaximal(G, H: parameters) : GrpPerm, GrpPerm -> BoolElt
IsProbablyPerfect
- IsProbablyPerfect(G : parameters): Grp -> BoolElt
- GrpMatFF_IsProbablyPerfect (Example H67E1)
IsProbablyPermutationPolynomial
- IsProbablyPermutationPolynomial(p) : RngUPolElt -> BoolElt
IsProbablyPrime
- IsProbablyPrime(n: parameter) : RngIntElt -> BoolElt
- IsProbablePrime(n: parameter) : RngIntElt -> BoolElt
IsProbablySupersingular
- IsProbablySupersingular(E) : CrvEll -> BoolElt
IsProductOfIdeals
- IsProductOfIdeals(I) : AlgEtQIdl -> BoolElt, Tup
IsProductOfOrders
- IsProductOfOrders(O) : AlgEtQOrd -> BoolElt, Tup
IsProductOfParallelDescendingCycles
- IsProductOfParallelDescendingCycles(p) : GrpPermElt -> BoolElt
IsProjective
- IsProjective(C) : Code -> BoolElt
- IsProjective(C) : Code -> BoolElt
- IsProjective(C) : Code -> BoolElt
- IsProjective(M) : ModAlg -> BoolElt, SeqEnum
- IsProjective(M) : ModGrp -> BoolElt
- IsProjective(X) : Sch -> BoolElt
- IsProjective(X) : Sch -> BoolElt
- IsProjective(X) : TorVar -> BoolElt
IsProjectivelyIrreducible
- IsProjectivelyIrreducible(R) : RootStr -> BoolElt
- IsProjectivelyIrreducible(R) : RootSys -> BoolElt
IsProper
- IsProper(I) : AlgFP -> BoolElt
- IsProper(I) : RngMPol -> BoolElt
- IsProper(I) : RngMPolLoc -> BoolElt
- IsProper(I) : RngMPolRes -> BoolElt
IsProperChainMap
- IsProperChainMap(f) : MapChn -> BoolElt
IsProperlyIsometric
- IsIsomorphic(L, M) : Lat, Lat -> BoolElt, AlgMatElt
- IsProperlyIsometric(L, M) : Lat, Lat -> BoolElt, AlgMatElt
- IsIsometric(L, M) : Lat, Lat -> BoolElt, AlgMatElt
- IsIsometric(A, B) : LatNF, LatNF -> BoolElt, Mtrx
IsProportional
- IsProportional(X, k) : Mtrx, RngIntElt -> BoolElt, Tup
IsPseudoReflection
- IsPseudoReflection(r) : Mtrx -> BoolElt, ModTupRngElt, ModTupRngElt
IsPseudoSymplecticSpace
- IsPseudoSymplecticSpace(W) : ModTupFld -> BoolElt
IspSubalgebra
- IspSubalgebra(L, M) : AlgLie, AlgLie -> AlgLie
- IsRestrictedSubalgebra(L, M) : AlgLie, AlgLie -> AlgLie
IsPure
- IsPure(Q) : CodeQuantum -> BoolElt
- IsPure(G, H) : GrpAb, GrpAb -> BoolElt
IsPyramid
- IsPyramid(P) : TorPol -> BoolElt, TorLatElt, TorPol, Map, TorLatElt
IsQCartier
- IsQCartier(D) : DivTorElt -> BoolElt
IsQFactorial
- IsSimplicial(P) : TorPol -> BoolElt
- IsQFactorial(C) : TorCon -> BoolElt
- IsQFactorial(F) : TorFan -> BoolElt
- IsQFactorial(X) : TorVar -> BoolElt
IsQGorenstein
- IsQGorenstein(C) : TorCon -> BoolElt
- IsQGorenstein(F) : TorFan -> BoolElt
- IsQGorenstein(X) : TorVar -> BoolElt
IsQGroup
- IsQGroup(G) : Grp -> BoolElt
IsQPrincipal
- IsQPrincipal(D) : DivTorElt -> BoolElt
Isqrt
- Isqrt(n) : RngIntElt -> RngIntElt
IsQuadratic
- IsQuadratic(K) : FldAlg -> BoolElt, FldQuad
- IsQuadratic(K) : FldNum -> BoolElt, FldQuad
- IsQuadratic(L) : Lat -> BoolElt
- IsQuadratic(L) : LatNF -> BoolElt
IsQuadraticTwist
- IsQuadraticTwist(E, F) : CrvEll, CrvEll -> BoolElt, RngElt
- IsQuadraticTwist(C, D) : CrvHyp, CrvHyp -> BoolElt, RngElt
IsQuadricIntersection
- IsQuadricIntersection(C) : Crv -> BoolElt, [AlgMatElt]
IsQuasisplit
- IsQuasisplit(R) : RootDtm -> BoolElt
IsQuaternionAlgebra
- IsQuaternionAlgebra(B) : AlgAss -> BoolElt, AlgQuat, Map
IsQuaternionic
- IsQuaternionic(A) : ModAbVar -> BoolElt
IsQuotient
- IsQuotient(L) : TorLat -> BoolElt
IsRadical
- IsRadical(I) : RngMPol -> BoolElt
- IsRadical(I) : RngMPolRes -> BoolElt
IsRamified
- IsRamified(A, p) : ArtRep, RngIntElt -> BoolElt
- IsRamified(A) : GalRep -> BoolElt
- IsRamified(p, A) : RngElt, AlgQuat -> BoolElt
- IsRamified(P) : RngFunOrdIdl -> BoolElt
- IsRamified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
- IsRamified(L) : RngLocA -> BoolElt
- IsRamified(P) : RngOrdIdl -> BoolElt
- IsRamified(P, O) : RngOrdIdl, RngOrd -> BoolElt
- IsRamified(R) : RngPad -> BoolElt
IsRational
- IsRational(X) : Srfc -> BoolElt
IsRationalCurve
- IsRationalCurve(S) : Sch -> BoolElt, CrvRat
- IsRationalCurve(X) : Sch -> BoolElt,CrvRat

V2.29, 21 October 2025

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