Documentation

IsRealisableOverSubfield
- IsRealisableOverSubfield(M, F) : ModGrp, FldFin -> BoolElt, ModGrp
IsRealReflectionGroup
- IsRealReflectionGroup(G) : GrpMat -> BoolElt, [], []
IsReduced
- IsReduced(s) : GrphSpl -> BoolElt
- IsReduced(M) : ModMPol -> BoolElt
- IsReduced(p) : Pt -> BoolElt
- IsReduced(f) : QuadBinElt -> BoolElt
- IsReduced(R) : RootDtm -> BoolElt
- IsReduced(R) : RootStr -> BoolElt
- IsReduced(R) : RootSys -> BoolElt
- IsReduced(C) : Sch -> BoolElt
- IsReduced(X) : Sch -> BoolElt
IsReducedIsomorphicHyperellipticCurves
- IsReducedIsomorphicHyperellipticCurves(X1, X2) : CrvHyp , CrvHyp -> BoolElt, List
IsReductive
- IsReductive(L) : AlgLie -> BoolElt
IsReeGroup
- IsReeGroup(G) : GrpMat -> BoolElt, RngIntElt
IsReflection
- IsReflection(w) : GrpFPElt -> BoolElt
- IsReflection(r) : Mtrx -> BoolElt, ModTupRngElt, ModTupRngElt
IsReflectionGroup
- IsReflectionGroup(G) : GrpMat -> BoolElt
- IsReflectionGroup(G) : GrpMat -> BoolElt
- GrpRfl_IsReflectionGroup (Example H106E21)
IsReflectionSubgroup
- IsReflectionSubgroup(W, H) : GrpPermCox, GrpPermCox -> BoolElt
IsReflexive
- IsReflexive(P) : TorPol -> BoolElt
IsRegular
- IsRegular(a) : AlgGenElt -> BoolElt
- IsRegular(G) : Grph -> BoolElt
- IsRegular(G) : GrphMult -> BoolElt
- IsRegular(s) : GrphSpl -> BoolElt
- IsRegular(G, Y) : GrpPerm, GSet -> BoolElt
- IsRegular(f) : MapSch -> BoolElt
- IsRegular(f) : TorMap -> BoolElt
IsRegularLDPC
- IsRegularLDPC(C) : Code -> BoolElt
IsRegularPlace
- IsRegularPlace(L, p) : RngDiffOpElt, PlcFunElt -> BoolElt
IsRegularSingularOperator
- IsRegularSingularOperator(L) : RngDiffOpElt -> BoolElt, SetEnum
IsRegularSingularPlace
- IsRegularSingularPlace(L, p) : RngDiffOpElt, PlcFunElt -> BoolElt
IsRepresented
- IsRepresented(L::LatNF, e) : LatNF, RngElt -> BoolElt, LatNFElt
IsResiduallyConnected
- IsRC(X) : IncGeom -> BoolElt
- IsResiduallyConnected(X) : IncGeom -> BoolElt
IsResiduallyPrimitive
- IsRPRI(C) : CosetGeom -> BoolElt
- IsResiduallyPrimitive(C) : CosetGeom -> BoolElt
IsResiduallyWeaklyPrimitive
- IsRWPRI(C) : CosetGeom -> BoolElt
- IsRWP(C) : CosetGeom -> BoolElt
- IsResiduallyWeaklyPrimitive(C) : CosetGeom -> BoolElt
- IsResiduallyWealyPrimitive(C) : CosetGeom -> BoolElt
IsResiduallyWealyPrimitive
- IsRWPRI(C) : CosetGeom -> BoolElt
- IsRWP(C) : CosetGeom -> BoolElt
- IsResiduallyWeaklyPrimitive(C) : CosetGeom -> BoolElt
- IsResiduallyWealyPrimitive(C) : CosetGeom -> BoolElt
IsResolution
- IsResolution(D, P) : Inc, SetEnum[SetEnum] -> BoolElt, RngIntElt
IsRestrictable
- IsRestricted(L) : AlgLie -> BoolElt, Map
- IspLieAlgebra(L) : AlgLie -> BoolElt, Map
- IsRestrictable(L) : AlgLie -> BoolElt, Map
IsRestricted
- IsRestricted(L) : AlgLie -> BoolElt, Map
- IspLieAlgebra(L) : AlgLie -> BoolElt, Map
- IsRestrictable(L) : AlgLie -> BoolElt, Map
- AlgLie_IsRestricted (Example H107E48)
IsRestrictedSubalgebra
- IspSubalgebra(L, M) : AlgLie, AlgLie -> AlgLie
- IsRestrictedSubalgebra(L, M) : AlgLie, AlgLie -> AlgLie
IsReverseLatticeWord
- IsReverseLatticeWord(w) : MonOrdElt -> BoolElt
IsRightIdeal
- IsRightIdeal(I) : AlgAssVOrdIdl -> BoolElt
- IsTwoSidedIdeal(I) : AlgAssVOrdIdl -> BoolElt
- IsLeftIdeal(I) : AlgAssVOrdIdl -> BoolElt
- IsRightIdeal(A, S) : AlgBas, ModTupFld -> Bool
- IsRightIdeal(S) : AlgGrpSub -> BoolElt
IsRightIsomorphic
- 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
IsRightModule
- IsRightModule(M): ModAlg -> BoolElt
IsRing
- IsRing(H) : HomModAbVar -> BoolElt
IsRingHomomorphism
- IsRingHomomorphism(m) : Map -> BoolElt
- IsRingHomomorphism(m) : Map -> BoolElt
IsRingOfAllModularForms
- IsRingOfAllModularForms(M) : ModFrm -> BoolElt
IsRoot
- IsRoot(v) : GrphVert -> BoolElt
- IsRoot(M) : ModMPol -> BoolElt
IsRootedTree
- IsRootedTree(G) : GrphDir -> BoolElt, GrphVert
IsRootSpace
- IsCorootSpace(V) : ModTupFld -> BoolElt
- IsRootSpace(V) : ModTupFld -> BoolElt
IsRPRI
- IsRPRI(C) : CosetGeom -> BoolElt
- IsResiduallyPrimitive(C) : CosetGeom -> BoolElt
IsRWP
- IsRWPRI(C) : CosetGeom -> BoolElt
- IsRWP(C) : CosetGeom -> BoolElt
- IsResiduallyWeaklyPrimitive(C) : CosetGeom -> BoolElt
- IsResiduallyWealyPrimitive(C) : CosetGeom -> BoolElt
IsRWPRI
- IsRWPRI(C) : CosetGeom -> BoolElt
- IsRWP(C) : CosetGeom -> BoolElt
- IsResiduallyWeaklyPrimitive(C) : CosetGeom -> BoolElt
- IsResiduallyWealyPrimitive(C) : CosetGeom -> BoolElt
IsSameGenus
- IsSameGenus(L1, L2) : LatNF, LatNF -> BoolElt
IsSameType
- IsSameType(O1, O2) : AlgAssVOrd , AlgAssVOrd -> BoolElt
IsSatisfied
- IsSatisfied(U, E) : { RelElt }, [ GrpElt ] -> BoolElt
IsSaturated
- IsSaturated(H) : HomModAbVar -> BoolElt
- IsSaturated(X) : Sch -> BoolElt
IsScalar
- IsScalar(a) : AlgAssElt -> BoolElt, RngElt
- IsScalar(x) : AlgAssVOrdElt -> BoolElt, RngElt
- IsScalar(a) : AlgMatElt -> BoolElt
- IsScalar(g) : GrpMatElt -> BoolElt
- IsScalar(A) : Mtrx -> BoolElt
- IsScalar(A) : MtrxSprs -> BoolElt
IsSelfDual
- IsSelfDual(C) : Code -> BoolElt
- IsSelfDual(C) : Code -> BoolElt
- IsSelfDual(C) : Code -> BoolElt
- IsSelfDual(D) : Inc -> BoolElt
- IsSelfDual(A) : ModAbVar -> BoolElt
- IsSelfDual(M) : ModGrp -> BoolElt
- IsSelfDual(P) : PlaneProj -> BoolElt

V2.28, 13 July 2023

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