Documentation

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

V2.28, 13 July 2023

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