Documentation

IsOneCoboundary
- IsOneCoboundary(CM, s) : ModCoho, UserProgram -> BoolElt, UserProgram
IsOneCocycle
- IsOneCocycle(A, imgs) : GGrp, SeqEnum[GrpElt] -> BoolElt, OneCoC
IsOnlyMotivic
- IsOnlyMotivic(A) : ModAbVar -> BoolElt
IsOptimal
- IsOptimal(phi) : MapModAbVar -> BoolElt
IsOrbit
- IsOrbit(G, S) : GrpPerm, { Elt } -> BoolElt
IsOrder
- IsOrder(P, m) : PtEll, RngIntElt -> BoolElt
IsOrdered
- IsOrdered(R) : Rng -> BoolElt
IsOrderTerm
- IsOrderTerm(s) : RngDiffElt -> BoolElt
IsOrdinary
- IsOrdinary(E) : CrvEll -> BoolElt
IsOrdinaryProjective
- IsOrdinaryProjective(X) : Sch -> BoolElt
IsOrdinaryProjectiveSpace
- IsOrdinaryProjectiveSpace(X) : Sch -> BoolElt
IsOrdinarySingularity
- IsOrdinarySingularity(p) : Pt -> BoolElt
- IsOrdinarySingularity(p) : Pt -> BoolElt
IsOrthogonal
- IsOrthogonal(G) : GrpRed -> BoolElt
- IsOrthogonal(L) : LSer -> BoolElt
- IsOrthogonal(M) : ModFrmAlg -> BoolElt
IsOrthogonalCharacter
- IsSymplecticCharacter(chi) : AlgChtrElt -> BoolElt
- IsOrthogonalCharacter(chi) : AlgChtrElt -> BoolElt
IsOrthogonalGroup
- IsOrthogonalGroup(G) : GrpMat ->BoolElt
isos
- Isomorphisms, Isogenies and Endomorphism Rings of Analytic Jacobians (HYPERELLIPTIC CURVES)
Isotropic
- AllIsotropicSubspaces(V, k) : ModTupFld[FldFin], RngIntElt -> [ ModTupFld[FldFin] ]
- FirstIsotropicSubspace(V, k) : ModTupFld[FldFin], RngIntElt -> ModTupFld[FldFin]
- HasIsotropicVector(V) : ModTupFld -> BoolElt, ModTupFldElt
- IsIsotropic(L, p) : LatNF, RngOrdIdl -> BoolElt nosigIsIsotropic(L, p) : LatNF, PlcNumElt -> BoolElt
- IsTotallyIsotropic(V) : ModTupFld -> BoolElt
- IsotropicSubspace(f) : RngMPolElt -> ModTupRng
- MaximalTotallyIsotropicSubspace(V) : ModTupFld -> ModTupFld
- NextIsotropicSubspace(V, k) : ModTupFld[FldFin], RngIntElt -> ModTupFld[FldFin]
- NumberOfIsotropicSubspaces(L, P, k) : LatNF, RngOrdIdl, RngIntElt -> RngIntElt
- NumberOfIsotropicSubspaces(V, k) : ModTupFld[FldFin], RngIntElt -> RngIntElt
isotropic
- Isotropic Subspaces (POLAR SPACES)
- Isotropic Subspaces (QUADRATIC FORMS)
isotropic-subspaces
- Isotropic Subspaces (POLAR SPACES)
IsotropicSubspace
- IsotropicSubspace(f) : RngMPolElt -> ModTupRng
isotropy-and-witt
- QuadForm_isotropy-and-witt (Example H34E1)
IsOuter
- IsOuter(R) : RootDtm -> BoolElt
- IsInner(R) : RootDtm -> BoolElt
IsOverQ
- IsOverQ(H) : HomModAbVar -> HomModAbVar
IsOverSmallerField
- IsOverSmallerField(G : parameters) : GrpMat -> BoolElt, GrpMat
- IsOverSmallerField(G, k : parameters) : GrpMat -> BoolElt, GrpMat
- GrpMatFF_IsOverSmallerField (Example H67E7)
Isp
- IsRestricted(L) : AlgLie -> BoolElt, Map
- IspLieAlgebra(L) : AlgLie -> BoolElt, Map
- IsRestrictable(L) : AlgLie -> BoolElt, Map
- IsRestrictedSubalgebra(L, M) : AlgLie, AlgLie -> AlgLie
- IspGroup(G) : GrpAb -> BoolElt
- IspIntegral(C, p) : CrvHyp, RngIntElt -> BoolElt
- IspMaximal(O, p) : AlgAssVOrd, RngOrdIdl -> BoolElt
- IspMinimal(C, p) : CrvHyp, RngIntElt -> BoolElt, BoolElt
- IspNormal(C, p) : CrvHyp, RngIntElt -> BoolElt
IsParabolicSubgroup
- IsParabolicSubgroup(W, H) : GrpPermCox, GrpPermCox -> BoolElt
IsParallel
- IsParallel(P, l, m) : Plane, PlaneLn, PlaneLn -> BoolElt
IsParallelClass
- IsParallelClass(D, B, C) : Inc, IncBlk, IncBlk -> BoolElt, { IncBlk }
IsParallelism
- IsParallelism(D, P) : Inc, SetEnum[SetEnum] -> BoolElt, RngIntElt
IsPartialRoot
- IsPartialRoot(f, c) : RngUPolElt, RngSerElt -> BoolElt
IsPartition
- IsPartition(S) : SeqEnum -> BoolElt
IsPartitionRefined
- IsPartitionRefined(G: parameters) : Grph -> BoolElt
IsPath
- IsPath(G) : Grph -> BoolElt
IsPathTree
- IsPathTree(B) : AlgBas -> Bool
IsPerfect
- IsPerfect(C) : Code -> BoolElt
- IsPerfect(C) : Code -> BoolElt
- IsPerfect(F) : Fld -> BoolElt
- IsPerfect(G) : GrpFin -> BoolElt
- IsPerfect(G) : GrpFP -> BoolElt
- IsPerfect(G) : GrpGPC -> BoolElt
- IsPerfect(G) : GrpMat -> BoolElt
- IsPerfect(G) : GrpPC -> BoolElt
- IsPerfect(G) : GrpPerm -> BoolElt
IsPerfectlyCentered
- IsPerfectlyCentered(P) : TorPol -> BoolElt
IsPermutationCharacter
- IsPermutationCharacter(c) : AlgChtrElt -> BoolElt
IsPermutationDecodeSet
- IsPermutationDecodeSet(C, I, S, s) : CodeLinFld, [RngIntElt], [AlgMatElt], RngIntElt -> BoolElt
- IsPermutationDecodeSet(C, I, S, s) : CodeLinRng, [RngIntElt], [GrpPermElt], RngIntElt -> BoolElt
IsPermutationModule
- IsPermutationModule(M) : ModRng -> BoolElt
IspGroup
- IspGroup(G) : GrpAb -> BoolElt
IsPID
- IsPrincipalIdealDomain(R) : Rng -> BoolElt
- IsPID(R) : Rng -> BoolElt
IspIntegral
- IspIntegral(C, p) : CrvHyp, RngIntElt -> BoolElt
IsPIR
- IsPrincipalIdealRing(R) : Rng -> BoolElt
- IsPIR(R) : Rng -> BoolElt
IsPlanar
- IsPlanar(G) : GrphMultUnd -> BoolElt, GrphMultUnd
- IsPlanar(G) : GrphUnd -> BoolElt, GrphUnd
- IsPlanar(X) : Sch -> BoolElt

V2.29, 21 October 2025

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