About
Calculator
Ordering
FAQ
Download
Download Magma
Databases
User Contributions
Documentation
Handbook
Overview
Release Notes
Discovering Maths with Magma
First Steps in Magma (pdf)
Solving Problems with Magma (pdf)
Acknowledgements
Citations
Conferences
Links
Contact
CAG
Login
Magma
Computer • algebra
Documentation
Contents
Index (i)
Search
IsThin
IsThin(X) : CosetGeom -> BoolElt
IsTimelike
IsSpacelike(v): LatNFElt -> BoolElt
IsTimelike(v): LatNFElt -> BoolElt
IsTorsionUnit
IsTorsionUnit(w) : RngOrdElt -> BoolElt
IsTotallyEven
IsTotallyEven(chi) : GrpDrchElt -> BoolElt
IsTotallyEven(chi) : GrpDrchNFElt -> BoolElt
IsTotallyIsotropic
IsTotallyIsotropic(V) : ModTupFld -> BoolElt
IsTotallyPositive
IsTotallyPositive(a) : FldNumElt -> BoolElt
IsTotallyPositive(a) : RngOrdElt -> BoolElt
IsTotallyPositiveDefinite
IsTotallyPositiveDefinite(L) : LatNF -> BoolElt
IsTotallyRamified
IsUnramified(R) : RngPad -> BoolElt
IsTotallyRamified(R) : RngPad -> BoolElt
IsRamified(R) : RngPad -> BoolElt
IsTotallyRamified(K) : FldAlg -> BoolElt
IsTotallyRamified(O) : RngFunOrd -> BoolElt
IsTotallyRamified(P) : RngFunOrdIdl -> BoolElt
IsTotallyRamified(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
IsTotallyRamified(L) : RngLocA -> BoolElt
IsTotallyRamified(O) : RngOrd -> BoolElt
IsTotallyRamified(P) : RngOrdIdl -> BoolElt
IsTotallyRamified(P, O) : RngOrdIdl, RngOrd -> BoolElt
IsTotallyReal
IsTotallyReal(K) : FldAlg -> BoolElt
IsTotallySingular
IsTotallySingular(V) : ModTupFld -> BoolElt
IsTotallySplit
IsTotallySplit(P) : RngFunOrdIdl -> BoolElt
IsTotallySplit(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
IsTotallySplit(P) : RngOrdIdl -> BoolElt
IsTotallySplit(P, O) : RngOrdIdl, RngOrd -> BoolElt
IsTransformation
IsTransformation(n, g) : RngIntElt, Tup -> BoolElt, TransG1
IsTransitive
IsTransitive(P) : Plane -> BoolElt
IsPointTransitive(P) : Plane -> BoolElt
IsTransitive(G) : GrphUnd -> BoolElt
IsTransitive(G, Y) : GrpPerm, GSet -> BoolElt
IsTransitive(G, Y, k) : GrpPerm, GSet, RngIntElt -> BoolElt
IsTransvection
IsTransvection(r) : Mtrx -> BoolElt, ModTupRngElt, ModTupRngElt
IsTransverse
IsTransverse(C,D,p) : Sch,Sch,Pt -> BoolElt
IsTree
IsTree(G) : Grph -> BoolElt
IsTriangleGroup
IsTriangleGroup(G) : GrpPSL2 -> BoolElt
IsTriconnected
IsTriconnected(G) : GrphMultUnd -> BoolElt
IsTriconnected(G) : GrphUnd -> BoolElt
IsTrivial
IsTrivial(G) : Grp -> BoolElt
IsTrivial(chi) : GrpDrchElt -> BoolElt
IsTrivial(chi) : GrpDrchNFElt -> BoolElt
IsTrivial(G) : GrpPC -> BoolElt
IsTrivial(D) : Inc -> BoolElt
IsTrivialOnUnits
IsTrivialOnUnits(chi) : GrpDrchNFElt -> BoolElt
IsTwist
IsTwist(E, F) : CrvEll, CrvEll -> BoolElt
IsTwist(M1, M2, p) : ModSym, ModSym, RngIntElt -> BoolElt, GrpDrchElt
IsTwisted
IsTwisted(G) : GrpLie -> BoolElt
IsTwisted(R) : RootDtm -> BoolElt
IsTwoCoboundary
IsTwoCoboundary(CM, s) : ModCoho, UserProgram -> BoolElt, UserProgram
IsTwoSidedIdeal
IsRightIdeal(I) : AlgAssVOrdIdl -> BoolElt
IsTwoSidedIdeal(I) : AlgAssVOrdIdl -> BoolElt
IsLeftIdeal(I) : AlgAssVOrdIdl -> BoolElt
IsUFD
IsUniqueFactorizationDomain(R) : Rng -> BoolElt
IsUFD(R) : Rng -> BoolElt
IsUltraSummitRepresentative
IsUltraSummitRepresentative(u: parameters) : GrpBrdElt -> BoolElt
IsUndirected
IsUndirected(G) : GrphMult -> BoolElt
IsUniform
IsUniform(D) : Inc -> BoolElt, RngIntElt
IsUnipotent
IsUnipotent(a) : AlgMatElt -> BoolElt, RngIntElt
IsUnipotent(x) : GrpLieElt -> BoolElt
IsUnipotent(G) : GrpMat -> BoolElt
IsUnipotent(G) : GrpMat -> BoolElt, GrpMatElt
IsUniqueFactorizationDomain
IsUniqueFactorizationDomain(R) : Rng -> BoolElt
IsUFD(R) : Rng -> BoolElt
IsUniquePartialRoot
IsUniquePartialRoot(f, c) : RngUPolElt, RngSerElt -> BoolElt
IsUnit
IsUnit(a) : AlgAssVOrdElt -> BoolElt
IsUnit(f) : AlgFPElt -> BoolElt
IsUnit(a) : AlgGenElt -> BoolElt, AlgGenElt
IsUnit(a) : AlgMatElt -> BoolElt
IsUnit(A) : Mtrx -> BoolElt
IsUnit(a) : RngElt -> BoolElt
IsUnit(a) : RngFunOrdResElt -> BoolElt
IsUnit(f) : RngMPolResElt -> BoolElt
IsUnit(a) : RngOrdResElt -> BoolElt
IsUnit(x) : RngPadElt -> BoolElt
IsUnit(s) : RngPowLazElt -> BoolElt
IsUnit(x) : RngXPadElt -> BoolElt
IsUnital
IsUnital(P, U) : Plane, { PlanePt } -> BoolElt
IsUnitary
IsUnitary(R) : Rng -> BoolElt
IsUnitaryGroup
IsUnitaryGroup(G) : GrpMat -> BoolElt
IsUnitarySpace
IsUnitarySpace(W) : ModTupFld -> BoolElt, RngIntElt
IsUnitWithPreimage
IsUnitWithPreimage(a) : RngFunOrdElt -> BoolElt, GrpAbElt
IsUnivariate
IsUnivariate(f) : RngMPolElt -> BoolElt, RngUPolElt, RngIntElt
IsUnivariate(f, i) : RngMPolElt, RngIntElt -> BoolElt, RngUPolElt
Contents
Index (i)
Search
V2.28, 28 February 2025