Documentation

IsFrobenius
- IsFrobenius(G) : GrpPerm -> BoolElt
IsFTGeometry
- IsFTGeometry(C) : CosetGeom -> BoolElt
- IsFTGeometry(D) : IncGeom -> BoolElt
IsFuchsianOperator
- IsFuchsianOperator(L) : RngDiffOpElt -> BoolElt, SetEnum
IsFullyNondegenerate
- IsFullyNondegenerate(T) : TenSpcElt -> BoolElt
IsFundamental
- IsFundamentalDiscriminant(D) : RngIntElt -> BoolElt
- IsFundamental(D) : RngIntElt -> BoolElt
IsFundamentalDiscriminant
- IsFundamentalDiscriminant(D) : RngIntElt -> BoolElt
- IsFundamental(D) : RngIntElt -> BoolElt
IsGamma0
- IsGamma0(G) : GrpPSL2 -> BoolElt
- IsGamma0(M) : ModFrm -> BoolElt
IsGamma1
- IsGamma1(G) : GrpPSL2 -> BoolElt
- IsGamma1(M) : ModFrm -> BoolElt
IsGE
- IsGE(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
- IsGe(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
- u ≥v : GrpBrdElt, GrpBrdElt -> BoolElt
IsGe
- IsGE(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
- IsGe(u, v: parameters) : GrpBrdElt, GrpBrdElt -> BoolElt
- u ≥v : GrpBrdElt, GrpBrdElt -> BoolElt
IsGeneralizedCartanMatrix
- IsGeneralizedCartanMatrix(C) : AlgMatElt -> BoolElt
IsGeneralizedCharacter
- IsGeneralizedCharacter(x) : AlgChtrElt -> BoolElt
IsGenuineWeightedDynkinDiagram
- IsGenuineWeightedDynkinDiagram( L, wd ) : AlgLie, SeqEnum -> BoolElt, SeqEnum
IsGenus
- IsGenus(G) : SymGen -> BoolElt
IsGenusOneModel
- IsGenusOneModel(f) : RngUPolElt -> BoolElt, ModelG1
IsGeometricallyHyperelliptic
- IsGeometricallyHyperelliptic(C) : Crv -> BoolElt, Crv, MapSch
- IsHyperelliptic(C) : Crv -> BoolElt, CrvHyp, MapSch
IsGL2Equivalent
- IsGL2Equivalent(f, g, n) : RngUPolElt, RngUPolElt, RngIntElt -> BoolElt, SeqEnum
IsGL2EquivalentExtended
- IsGL2EquivalentExtended(f1, f2, deg) : RngUPolElt, RngUPolElt, RngIntElt -> BoolElt, List
IsGLattice
- IsGLattice(L) : Lat -> GrpMat
IsGLConjugate
- IsGLConjugate(H, K) : GrpMat, GrpMat -> BoolElt, GrpMatElt | Unass
- IsGLConjugate(H, K) : GrpMat, GrpMat -> BoolElt, GrpMatElt | Unass
IsGlobal
- IsGlobal(F) : FldFunG -> BoolElt
IsGloballySplit
- IsGloballySplit(C, l) : , UserProgram -> BoolElt, UserProgram
IsGlobalUnit
- IsGlobalUnit(a) : FldFunElt -> BoolElt
- IsGlobalUnit(a) : FldFunElt -> BoolElt
IsGlobalUnitWithPreimage
- IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt
- IsGlobalUnitWithPreimage(a) : FldFunElt -> BoolElt, GrpAbElt
IsGLQConjugate
- IsGLQConjugate(G, H) : GrpMat, GrpMat -> BoolElt, GrpMatElt
IsGLZConjugate
- IsSLZConjugate(A, B) : AlgMatElt, AlgMatElt -> BoolElt, GrpMatElt
- IsGLZConjugate(A, B) : AlgMatElt, AlgMatElt -> BoolElt, GrpMatElt
- IsGLZConjugate(G, H) : GrpMat[RngInt], GrpMat[RngInt] -> BoolElt, GrpMatElt
IsGood
- GrpPC_IsGood (Example H69E29)
IsGorenstein
- IsGorenstein(X) : Sch -> BoolElt
- IsArithmeticallyCohenMacaulay(X) : Sch -> BoolElt
- IsArithmeticallyGorenstein(X) : Sch -> BoolElt
- IsCohenMacaulay(X) : Sch -> BoolElt
- IsGorenstein(O, p) : AlgAssVOrd , RngOrdIdl -> BoolElt, RngIntElt
- IsGorenstein(O) : AlgAssVOrd -> BoolElt, .
- IsGorenstein(C) : TorCon -> BoolElt
- IsGorenstein(F) : TorFan -> BoolElt
- IsGorenstein(X) : TorVar -> BoolElt
IsGorensteinSurface
- IsGorensteinSurface(B) : GRBskt -> BoolElt
- IsGorensteinSurface(p) : GRPtS -> BoolElt
IsGraded
- IsHomogeneous(M) : ModMPol -> BoolElt
- IsGraded(M) : ModMPol -> BoolElt
- IsGraded(f) : ModMPolHom -> BoolElt
IsGradedIsomorphic
- IsGradedIsomorphic(A, B) : AlgBas, AlgBas -> Bool, ModMatFldElt
IsGraph
- IsGraph(C) : CosetGeom -> GrphUnd
- IsGraph(D) : IncGeom -> GrphUnd
IsGroebner
- IsGroebner(S) : { RngMPolElt } -> BoolElt
IsHadamard
- IsHadamard(H) : AlgMatElt -> BoolElt
IsHadamardEquivalent
- IsHadamardEquivalent(H, J : parameters) : AlgMatElt, AlgMatElt -> BoolElt, AlgMatElt, AlgMatElt
IsHeckeAlgebra
- IsHeckeAlgebra(H) : HomModAbVar -> BoolElt
IsHeckeOperator
- IsHeckeOperator(phi) : MapModAbVar -> BoolElt, RngIntElt
IsHenselLiftable
- IsHenselLiftable(f, x) : RngUPolElt, FldXPadElt -> BoolElt, FldXPadElt
IsHereditary
- IsHereditary(O, p) : AlgAssVOrd , RngOrdIdl -> BoolElt
- IsHereditary(O) : AlgAssVOrd -> BoolElt
IsHermitianSelfDual
- IsHermitianSelfDual(C) : CodeLinFld -> BoolElt
IsHermitianSelfOrthogonal
- IsHermitianSelfOrthogonal(C) : CodeLinFld -> BoolElt
IsHomeomorphic
- IsHomeomorphic(G: parameters) : GrphMultUnd -> BoolElt
- IsHomeomorphic(G : parameters) : GrphUnd -> BoolElt
IsHomogeneous
- IsHomogeneous(M) : ModMPol -> BoolElt
- IsGraded(M) : ModMPol -> BoolElt
- IsGraded(f) : ModMPolHom -> BoolElt
- IsHomogeneous(s): AlgSymElt -> BoolElt
- IsHomogeneous(f) : ModMPolElt -> BoolElt
- IsHomogeneous(I) : RngMPol -> BoolElt
- IsHomogeneous(f) : RngMPolElt -> BoolElt
- IsHomogeneous(X,f) : Sch,RngMPolElt -> BoolElt
IsHomomorphism
- IsHomomorphism(G, H, Q) : GrpMat, GrpMat, SeqEnum[GrpMatElt] -> Bool, Map
- IsHomomorphism(G, H, L) : GrpPC, GrpPC, SeqEnum -> BoolElt, Map
- IsHomomorphism(G, H, Q) : GrpPerm, GrpPerm, SeqEnum[GrpPermElt] -> Bool, Map
IsHomotopism
- IsHomotopism(T, s, H) : TenSpcElt, TenSpcElt, Hmtp -> BoolElt
IsHyperbolic
- IsHyperbolic(G) : GrpAtc -> BoolElt, Rec
- IsHyperbolic(F, red, green) : GrpFP, SeqEnum, SeqEnum -> BoolElt, BoolElt, SeqEnum, SeqEnum
- IsHyperbolic(W) : GrpFPCox -> BoolElt
IsHyperelementary
- IsHyperelementary(G) : Grp -> BoolElt,Grp,Grp
IsHyperelliptic
- IsGeometricallyHyperelliptic(C) : Crv -> BoolElt, Crv, MapSch
- IsHyperelliptic(C) : Crv -> BoolElt, CrvHyp, MapSch

V2.28, 13 July 2023

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