Documentation

IsPointed
- IsPointed(P) : TorPol -> BoolElt
IsPointRegular
- IsPointRegular(D) : IncNsp -> BoolElt, RngIntElt
IsPointTransitive
- IsPointTransitive(D) : Inc -> BoolElt
- IsPointTransitive(P) : Plane -> BoolElt
IsPolarSpace
- IsPolarSpace(V) : ModTupFld -> BoolElt
IsPolycyclic
- IsPolycyclic(G : parameters) : GrpMat -> BoolElt
IsPolycyclicByFinite
- IsPolycyclicByFinite(G : parameters) : GrpMat -> BoolElt
IsPolygon
- IsPolygon(G) : Grph -> BoolElt
IsPolynomial
- IsPolynomial(s) : RngPowAlgElt -> BoolElt, RngMPolElt
- IsRegular(f) : MapSch -> BoolElt
IsPolytope
- IsPolytope(P) : TorPol -> BoolElt
IsPositive
- IsPositive(D) : DivCrvElt -> BoolElt
- IsEffective(D) : DivCrvElt -> BoolElt
- IsEffective(D) : OMDiv -> BoolElt
- IsPositive(W, r) : GrpPermCox, RngIntElt -> BoolElt
- IsPositive(R, r) : RootStr, RngIntElt -> BoolElt
- IsPositive(R, r) : RootSys, RngIntElt -> BoolElt
IsPositiveDefinite
- IsPositiveDefinite(F) : Mtrx -> BoolElt
IsPositiveSemiDefinite
- IsPositiveSemiDefinite(F) : Mtrx -> BoolElt
IsPower
- IsPower(a, n) : FldACElt, RngIntElt -> BoolElt, FldACElt
- IsPower(a, k) : FldAlgElt, RngIntElt -> BoolElt, FldAlgElt
- IsPower(a, n) : FldFinElt, RngIntElt -> BoolElt, FldFinElt
- IsPower(a, k) : FldNumElt, RngIntElt -> BoolElt, FldNumElt
- IsPower(I, n) : RngFunOrdIdl, RngIntElt -> BoolElt, RngFunOrdIdl
- IsPower(n) : RngIntElt -> BoolElt
- IsPower(n, k) : RngIntElt, RngIntElt -> BoolElt
- IsPower(w, n) : RngOrdElt, RngIntElt -> BoolElt, RngOrdElt
- IsPower(I, k) : RngOrdFracIdl, RngIntElt -> BoolElt, RngOrdFracIdl
- IsPower(x, n) : RngPadElt, RngIntElt -> BoolElt, RngPadElt
IsPRI
- IsPRI(C) : CosetGeom -> BoolElt
- IsPrimitive(C) : CosetGeom -> BoolElt
IsPrimary
- IsPrimary(I) : RngMPol -> BoolElt
- IsPrimary(I) : RngMPolRes -> BoolElt
IsPrime
- IsPrime(D) : DivSchElt -> BoolElt
- IsPrime(I) : OMIdl -> BoolElt
- IsPrime(I) : OMIdl -> BoolElt
- IsPrime(x) : RngElt -> BoolElt
- IsPrime(I) : RngFunOrdIdl -> BoolElt
- IsPrime(n) : RngIntElt -> BoolElt
- IsPrime(n) : RngIntElt -> BoolElt
- IsPrime(I) : RngMPol -> BoolElt
- IsPrime(I) : RngMPolRes -> BoolElt
- IsPrime(I) : RngOrdIdl -> BoolElt, RngOrdIdl
- RngInt_IsPrime (Example H19E4)
IsPrimeCertificate
- IsPrimeCertificate(cert) : List -> BoolElt
- PrimalityCertificate(n) : RngIntElt -> List
IsPrimeField
- IsPrimeField(F) : Fld -> BoolElt
IsPrimePower
- IsPrimePower(n) : RngIntElt -> BoolElt, RngIntElt, RngIntElt
IsPrimitive
- Modulus(GR) : GrossenChar -> RngOrdIdl, SeqEnum
- IsPrimitive(GR) : GrossenChar -> BoolElt
- AssociatedPrimitiveGrossencharacter(psi) : GrossenChar -> GrossenChar
- Conductor(GR) : GrossenChar -> RngOrdIdl, SeqEnum
- IsPrimitive(C) : CosetGeom -> BoolElt
- IsPrimitive(a) : FldAlgElt -> BoolElt
- IsPrimitive(a) : FldFinElt -> BoolElt
- IsPrimitive(a) : FldNumElt -> BoolElt
- IsPrimitive(chi) : GrpDrchElt -> BoolElt
- IsPrimitive(chi) : GrpDrchNFElt -> BoolElt
- IsPrimitive(G) : GrphUnd -> BoolElt
- IsPrimitive(G) : GrpPerm -> BoolElt
- IsPrimitive(G, Y) : GrpPerm, GSet -> BoolElt
- IsPrimitive(H) : HypGeomData -> BoolElt, RngIntElt
- IsPrimitive(G: parameters) : GrpMat -> BoolElt
- IsPrimitive(n, m) : RngIntElt, RngIntElt -> BoolElt
- IsPrimitive(n) : RngIntResElt -> BoolElt
- IsPrimitive(f) : RngUPolElt -> BoolElt
- IsPrimitive(v) : TorLatElt -> BoolElt
- GrpMatFF_IsPrimitive (Example H66E2)
IsPrimitiveFiniteNilpotent
- IsPrimitiveFiniteNilpotent(G : parameters): GrpMat -> BoolElt, Any
IsPrincipal
- IsPrincipal(I) : AlgAssVOrdIdl -> BoolElt, AlgQuatElt
- IsPrincipal(D) : DivCrvElt -> BoolElt, FldFunFracSchElt
- IsPrincipal(D) : DivSchElt -> BoolElt, FldFunFracSchElt
- IsPrincipal(D) : DivTorElt -> BoolElt
- IsPrincipal(D) : OMDiv -> BoolElt
- IsPrincipal(I) : RngFunOrdIdl -> BoolElt, FldFunElt
- IsPrincipal(I) : RngMPol -> BoolElt, RngMPolElt
- IsPrincipal(I) : RngOrdFracIdl -> BoolElt, FldOrdElt
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

V2.28, 13 July 2023

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