Documentation

IsUnramified
- IsUnramified(p, A) : RngElt, AlgQuat -> BoolElt
- IsRamified(p, A) : RngElt, AlgQuat -> BoolElt
- IsRamified(R) : RngPad -> BoolElt
- IsUnramified(K) : FldAlg -> BoolElt
- IsUnramified(A) : GalRep -> BoolElt
- IsUnramified(O) : RngFunOrd -> BoolElt
- IsUnramified(P) : RngFunOrdIdl -> BoolElt
- IsUnramified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
- IsUnramified(L) : RngLocA -> BoolElt
- IsUnramified(O) : RngOrd -> BoolElt
- IsUnramified(P) : RngOrdIdl -> BoolElt
- IsUnramified(P, O) : RngOrdIdl, RngOrd -> BoolElt
IsUpperTriangular
- IsUpperTriangular(A) : Mtrx -> BoolElt
- IsUpperTriangular(A) : MtrxSprs -> BoolElt
IsValid
- IsValid(P) : GrpFPHomsProc -> BoolElt
- IsValid(P) : GrpFPLixProc -> BoolElt
IsVerbose
- IsVerbose(s) : MonStgElt -> BoolElt
- IsVerbose(s, l) : MonStgElt, RngIntElt -> BoolElt
IsVertex
- IsVertex(g,v) : GrphRes,GrphResVert -> BoolElt
- IsVertex(N, p) : NwtnPgon,Tup -> BoolElt
IsVertexLabelled
- IsVertexLabelled(G) : GrphMult -> BoolElt
IsVertexTransitive
- IsVertexTransitive(G) : GrphUnd -> BoolElt
- IsTransitive(G) : GrphUnd -> BoolElt
IsWeakFano
- IsWeakFano(X) : TorVar -> BoolElt
IsWeaklyAdjoint
- IsWeaklyAdjoint(G) : GrpLie -> BoolElt
- IsWeaklyAdjoint(R) : RootDtm -> BoolElt
IsWeaklyAG
- IsWeaklyAG(C) : Code -> BoolElt
IsWeaklyAGDual
- IsWeaklyAGDual(C) : Code -> BoolElt
IsWeaklyConnected
- IsWeaklyConnected(G) : GrphDir -> BoolElt
- IsWeaklyConnected(G) : GrphMultDir -> BoolElt
IsWeaklyEqual
- IsWeaklyEqual(s, t) : RngDiffElt, RngDiffElt -> BoolElt
- IsWeaklyEqual(L, P) : RngDiffOpElt, RngDiffOpElt -> BoolElt
- IsWeaklyEqual(s, t, n) : RngPowLazElt, RngPowLazElt, RngIntElt -> BoolElt
- IsWeaklyEqual(f, g) : RngSerElt, RngSerElt -> BoolElt
- IsWeaklyZero(f) : StrAnyXPadElt -> BoolElt
- IsWeaklyZero(x) : StrAnyXPadElt -> BoolElt
IsWeaklyMonic
- IsWeaklyMonic(L) : RngDiffOpElt -> BoolElt
IsWeaklyPrimitive
- IsWPRI(C) : CosetGeom -> BoolElt
- IsWeaklyPrimitive(C) : CosetGeom -> BoolElt
IsWeaklySimplyConnected
- IsWeaklySimplyConnected(G) : GrpLie -> BoolElt
- IsWeaklySimplyConnected(R) : RootDtm -> BoolElt
IsWeaklyZero
- IsWeaklyZero(s) : RngDiffElt -> BoolElt
- IsWeaklyZero(L) : RngDiffOpElt -> BoolElt
- IsWeaklyZero(a) : RngLocAElt -> BoolElt
- IsWeaklyZero(s, n) : RngPowLazElt, RngIntElt -> BoolElt
- IsWeaklyZero(f) : RngSerElt -> BoolElt
- IsWeaklyZero (f) : SnuElement -> BoolElt
- IsWeaklyZero (M) : SpMat -> BoolElt
- IsWeaklyZero (v) : SpVec -> BoolElt
- IsWeaklyZero(f) : StrAnyXPadElt -> BoolElt
- IsWeaklyZero(x) : StrAnyXPadElt -> BoolElt
IsWeierstrassModel
- IsWeierstrassModel(E) : CrvEll -> BoolElt
IsWeierstrassPlace
- IsWeierstrassPlace(D, P) : DivFunElt, PlcFunElt -> BoolElt
- IsWeierstrassPlace(P) : PlcCrvElt -> BoolElt
- IsWeierstrassPlace(P) : PlcFunElt -> BoolElt
IsWeighted
- IsWeighted(E) : GrphEdgeSet -> BoolElt
IsWeightedProjectiveSpace
- IsWeightedProjectiveSpace(X) : TorVar -> BoolElt
IsWeil
- IsWeil(D) : DivTorElt -> BoolElt
IsWGsymmetric
- IsWGsymmetric(dwg) : GrphDir -> BoolElt, GrphDir
IsWildlyRamified
- IsWildlyRamified(L) : RngLocA -> BoolElt
- IsTamelyRamified(L) : RngLocA -> BoolElt
- IsTamelyRamified(R) : RngPad -> BoolElt
- IsWildlyRamified(A, p) : ArtRep, RngIntElt -> BoolElt
- IsWildlyRamified(K) : FldAlg -> BoolElt
- IsWildlyRamified(A) : GalRep -> BoolElt
- IsWildlyRamified(O) : RngFunOrd -> BoolElt
- IsWildlyRamified(P) : RngFunOrdIdl -> BoolElt
- IsWildlyRamified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
- IsWildlyRamified(O) : RngOrd -> BoolElt
- IsWildlyRamified(P) : RngOrdIdl -> BoolElt
- IsWildlyRamified(P, O) : RngOrdIdl, RngOrd -> BoolElt
IsWPRI
- IsWPRI(C) : CosetGeom -> BoolElt
- IsWeaklyPrimitive(C) : CosetGeom -> BoolElt
IsWreathProduct
- IsWreathProduct(G) : GrpPerm -> BoolElt, GrpPerm, GrpPerm, GrpPerm
IsZero
- v - w : LatNFElt, LatNFElt -> LatNFElt
- v eq w : LatNFElt, LatNFElt -> BoolElt
- v ne w : LatNFElt, LatNFElt -> BoolElt
- IsZero(v) : LatNFElt -> BoolElt
- v + w : LatNFElt, LatNFElt -> LatNFElt
- IsId(P) : PtEll -> BoolElt
- IsZero(x) : AlgAssVOrdElt -> BoolElt
- IsZero(I) : AlgFP -> BoolElt
- IsZero(I) : AlgFr -> BoolElt
- IsZero(A) : AlgGen -> BoolElt
- IsZero(a) : AlgGenElt -> BoolElt
- IsZero(x) : AlgKacElt -> BoolElt
- IsZero(a) : AlgMatElt -> BoolElt
- IsZero(a) : DiffCrvElt -> BoolElt
- IsZero(d) : DiffFunElt -> BoolElt
- IsZero(D) : DivCrvElt -> BoolElt
- IsZero(a) : FldACElt -> BoolElt
- IsZero(A) : GalRep -> BoolElt
- IsZero(P) : JacHypPt -> BoolElt
- IsZero(v) : LatElt -> BoolElt
- IsZero(L) : LatNF -> BoolElt
- IsZero(I) : Map -> BoolElt
- IsZero(f) : MapChn -> BoolElt
- IsZero(phi) : MapModAbVar -> BoolElt
- IsZero(x) : ModAbVarElt -> BoolElt
- IsZero(a) : ModDedElt -> BoolElt
- IsZero(u) : ModElt -> BoolElt
- IsZero(M) : ModMPol -> ModMPol
- IsZero(f) : ModMPolElt -> BoolElt
- IsZero(f) : ModMPolHom -> BoolElt
- IsZero(u) : ModRngElt -> BoolElt
- IsZero(u) : ModTupRngElt -> BoolElt
- IsZero(u) : ModTupRngElt -> BoolElt
- IsZero(u) : ModTupRngElt -> BoolElt
- IsZero(u) : ModTupRngElt -> BoolElt
- IsZero(A) : Mtrx -> BoolElt
- IsZero(A) : MtrxSprs -> BoolElt
- IsZero(I) : OMIdl -> BoolElt
- IsZero(I) : OMIdl -> BoolElt
- IsZero(p) : PathLS -> BoolElt
- IsZero(s) : RngDiffElt -> BoolElt
- IsZero(L) : RngDiffOpElt -> BoolElt
- IsZero(a) : RngElt -> BoolElt
- IsZero(I) : RngFunOrdIdl -> BoolElt
- IsZero(a) : RngFunOrdResElt -> BoolElt
- IsZero(a) : RngLocAElt -> BoolElt
- IsZero(I) : RngMPol -> BoolElt
- IsZero(I) : RngMPolLoc -> BoolElt
- IsZero(I) : RngMPolRes -> BoolElt
- IsZero(I) : RngOrdFracIdl -> BoolElt
- IsZero(a) : RngOrdResElt -> BoolElt
- IsZero(x) : RngPadElt -> BoolElt
- IsZero(s) : RngPowAlgElt -> BoolElt
- IsZero(s) : RngPowLazElt -> BoolElt
- IsZero(C) : TorCon -> BoolElt
- IsZero(v) : TorLatElt -> BoolElt

V2.28, 13 July 2023

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