- 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(K) : FldAlg -> 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
- TotallySingularComplement(V, U, W) : ModTupFld, ModTupFld, ModTupFld -> ModTupFld
- TotallyUnitTrivialSubgroup(G) : GrpDrchNF -> GrpDrchNF
- TotallyRamifiedExtension
- TotallySingularComplement
- TotallyUnitTrivialSubgroup
- TotalNumberOfCosets
- Tournament
- Tower
- TPairing
- AteTPairing(Q, P, n, q) : PtEll, PtEll, RngIntElt, RngIntElt -> RngElt
- EtaTPairing(P, Q, n, q) : PtEll, PtEll, RngIntElt, RngIntElt -> RngElt
- ReducedAteTPairing(Q, P, n, q) : PtEll, PtEll, RngIntElt, RngIntElt -> RngElt
- ReducedEtaTPairing(P, Q, n, q) : PtEll, PtEll, RngIntElt, RngIntElt -> RngElt
- tpd
- Trace
- TraceAbs(a) : FldAlgElt -> FldRatElt
- AbsoluteTrace(a) : FldAlgElt -> FldRatElt
- AbsoluteTrace(a) : FldFinElt -> FldFinElt
- AbsoluteTrace(a) : FldNumElt -> FldRatElt
- GenericTrace(x) : AlgGenElt -> FldElt
- HypergeometricTrace(H, t, q) : HypGeomData, RngQZElt, RngIntElt -> RngIntElt
- HypergeometricTraceK(A, B, t, q) : SeqEnum, SeqEnum, RngQZElt, RngIntElt -> FldPadElt
- LinearSystemTrace(L, X) : LinearSys, Sch -> LinearSys
- Norm(a) : RngLocAElt -> RngElt
- Trace(x) : AlgAssVOrdElt -> RngElt
- Trace(a) : AlgGrpElt -> RngElt
- Trace(a) : AlgMatElt -> RngElt
- Trace(x) : AlgQuatElt -> FldElt
- Trace(C, F) : Code, FldFin -> Code
- Trace(a) : FldACElt -> FldACElt
- Trace(a) : FldAlgElt -> FldAlgElt
- Trace(a) : FldFinElt -> FldFinElt
- Trace(a, E) : FldFinElt, FldFin -> FldFinElt
- Trace(a, R) : FldFunElt, Rng -> RngElt
- Trace(a) : FldNumElt -> FldNumElt
- Trace(q) : FldRatElt -> FldRatElt
- Trace(g) : GrpMatElt -> RngElt
- Trace(phi) : MapModAbVar -> FldRatElt
- Trace(u, F) : ModTupFldElt, Fld -> ModTupFldElt
- Trace(u, S) : ModTupFldElt, FldFin -> ModTupFldElt
- Trace(u, S) : ModTupFldElt, FldFin -> ModTupFldElt
- Trace(A) : Mtrx -> RngElt
- Trace(n) : RngIntElt -> RngIntElt
- Trace(x) : RngPadElt -> RngPadElt
- Trace(x, R) : RngPadElt, RngPad -> RngPadElt
- Trace(H): SetPtEll -> RngIntElt
- Trace(H, r): SetPtEll, RngIntElt -> RngIntElt
- TraceInnerProduct(K, u, v) : FldFin, ModTupFldElt, ModTupFldElt -> FldFinElt
- TraceMatrix(O) : RngOrd -> AlgMatElt
- TraceOfFrobenius(E, p) : CrvEll[FldFunRat], RngElt -> BoolElt, CrvEll
- TraceOfFrobeniusDirect(E, p) : CrvEll, RngIntElt -> RngIntElt
- TraceOfProduct(A, B) : Mtrx, Mtrx -> RngElt
- TraceZeroSubspace(O) : AlgAssVOrd -> SeqEnum
V2.28, 13 July 2023