- torsion
- Torsion-Cuspidal_Subgroup
- Torsion-Torsion_Subgroup
- Torsion-Upper_and_Lower_Bounds
- TorsionBound
- TorsionCoefficients
- TorsionFreeRank
- TorsionFreeSubgroup
- TorsionGroups
- TorsionInvariants
- TorsionLowerBound
- TorsionMultiple
- TorsionSubgroup
- TorsionSubgroupScheme
- TorsionUnitGroup
- Torus
- BigTorus(k,N) : Rng,TorLat -> TorVar
- BigTorus(X) : TorVar -> TorVar, TorMap, TorMap
- ConjugateIntoTorus(g) : GrpLieElt -> GrpLieElt, GrpLieElt
- StandardMaximalTorus(G) : GrpLie -> GrpLie
- SubgroupOfTorus(M, x) : ModSym, ModSymElt -> RngIntElt
- SubgroupOfTorus(M, s) : ModSym, SeqEnum -> GrpAb
- Torus() : -> SmpCpx
- TorusTerm(G, r, t) : GrpLie, RngIntElt, RngElt -> GrpLieElt
- TwistedTorus(G, w) : GrpLie, GrpPermElt -> List
- TwistedTorusOrder(R, w) : RootDtm, GrpPermElt -> SeqEnum
- TorusTerm
- torvar
- Total
- TotalDegree
- TotalLinking
- Totally
- AbsoluteTotallyRamifiedExtension(R) : RngPad -> RngPad, Map
- HasTotallyPositiveGenerator(I) : RngOrdFracIdl -> BoolElt, [ RngOrdElt ]
- IsRamified(R) : RngPad -> BoolElt
- IsTotallyEven(chi) : GrpDrchElt -> BoolElt
- IsTotallyEven(chi) : GrpDrchNFElt -> BoolElt
- IsTotallyIsotropic(V) : ModTupFld -> BoolElt
- IsTotallyPositive(a) : FldNumElt -> BoolElt
- IsTotallyPositive(a) : RngOrdElt -> BoolElt
- IsTotallyPositiveDefinite(L) : LatNF -> 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(a) : AlgEtQElt -> BoolElt
- IsTotallyReal(K) : FldAlg -> BoolElt
- IsTotallyRealPositive(a) : AlgEtQElt -> BoolElt
- IsTotallySingular(V) : ModTupFld -> BoolElt
- IsTotallySplit(P) : RngFunOrdIdl -> BoolElt
- IsTotallySplit(P, O) : RngFunOrdIdl, RngFunOrd -> BoolElt
- IsTotallySplit(P) : RngOrdIdl -> BoolElt
- IsTotallySplit(P, O) : RngOrdIdl, RngOrd -> BoolElt
- MaximalTotallyIsotropicSubspace(V) : ModTupFld -> ModTupFld
- MaximalTotallySingularSubspace(V) : ModTupFld -> ModTupFld
- TotallyRamifiedExtension(L, f) : RngPad, RngUPolElt -> RngPad
- TotallyRamifiedExtension(R, f) : RngSerPow[FldFin], RngUPolElt -> RngSerExt
- TotallyRealPositiveUnitGroup(S) : AlgEtQOrd -> Grp
- TotallyRealSubAlgebra(K) : AlgEtQ -> AlgEtQ,Map
- TotallyRealUnitGroup(S) : AlgEtQOrd -> Grp
- TotallySingularComplement(V, U, W) : ModTupFld, ModTupFld, ModTupFld -> ModTupFld
- TotallyUnitTrivialSubgroup(G) : GrpDrchNF -> GrpDrchNF
V2.29, 21 October 2025