[____] [____] [_____] [____] [__] [Index] [Root]
Index T
T
# T : SeqEnum -> RngIntElt
T-key
T<char>
t-key
t<char>
tab-key
<Tab>
table
Coset Spaces and Tables (FINITELY PRESENTED GROUPS)
Coset Tables (FINITELY PRESENTED GROUPS)
Tails
Tails(~P: parameters) : Process(pQuot) ->
TamagawaNumber
TamagawaNumber(E, p) : GeomEC -> RngIntElt
TamagawaNumbers
TamagawaNumbers(E) : GeomEC -> [ RngIntElt ]
Tan
Tan(c) : FldComElt -> FldComElt
Tan(f) : RngSerElt -> RngSerElt
Tanh
Tanh(s) : FldPrElt -> FldPrElt
Tanh(f) : RngSerElt -> RngSerElt
TensorProdInfoTup
TensorProdInfoTup(MGT) : SetCartElt -> SetCartElt
TensorProdTup
TensorProdTup(MGT) : SetCartElt -> MonStgElt
TensorProduct
TensorProduct(R, T) : AlgMat, AlgMat -> AlgMat
TensorProduct(a, b) : AlgMatElt, AlgMatElt -> AlgMatElt
TensorProduct(G, H) : GrpFin, GrpFin -> GrpFin
TensorProduct(G, H) : GrphDir, GrphDir -> GrphDir
TensorProduct(G, H) : GrpMat, GrpPerm -> GrpMat
TensorProduct(G, H) : GrpPerm, GrpPerm -> GrpPerm
TensorProduct(M, N) : ModTupRng, ModTupRng -> ModTupRng
Term
Term(p, i, k) : RngDPolElt, RngIntElt, RngIntElt -> RngDPolElt
term
Coefficients and Terms (UNIVARIATE POLYNOMIAL RINGS)
Coefficients, Monomials and Terms (MULTIVARIATE POLYNOMIAL RINGS)
Sequences (OVERVIEW)
termination
Control-C key (OVERVIEW)
Quitting (OVERVIEW)
Terms
Terms(p) : RngDPolElt -> [ RngDPolElt ]
Terms(p) : RngUPolElt -> [ RngUPolElt ]
TernaryGolayCode
Code_TernaryGolayCode (Example H40E1)
Tetrahedral
GrpFP_Tetrahedral (Example H12E5)
text
Strings (OVERVIEW)
threegps
Database of Groups of Order Dividing 729 (OVERVIEW)
ThreeInvols
GrpFP_ThreeInvols (Example H12E6)
thrgps
Database of Groups of Order Dividing 729 (OVERVIEW)
throwaway
Multiple Assignment (OVERVIEW)
Thue
Thue(f) : AlgPolElt -> Thue
thue
Thue Equations (NUMBER FIELDS AND THEIR ORDERS)
ThueEval
ThueEval(t, a, b) : Thue, RngIntElt, RngIntElt -> RngIntElt
ThueSolve
ThueSolve(t, a) : Thue, RngInt -> [ [ RngIntElt, RngIntElt ] ]
ThueSolveInexact
ThueSolveInexact(t, a) : Thue, RngIntElt -> [ [ RngIntElt, RngIntElt ] ]
Tietze
Elementary Tietze Transformations (FINITELY PRESENTED SEMIGROUPS)
TietzeProcess
TietzeProcess(G) : GrpFP -> Process(Tietze)
tilde
Procedures (OVERVIEW)
Time
Lang_Time (Example H1E2)
time
Timing (OVERVIEW)
time statement
times
Operators (OVERVIEW)
timing
Timing and Alarm (MAGMA LANGUAGE)
Todd
Index of a Subgroup: The Todd-Coxeter Algorithm (FINITELY PRESENTED GROUPS)
ToddCoxeter
Index(G, H: parameters) : GrpFP, GrpFP -> RngIntElt, Map, RngIntElt, RngIntElt
GrpFP_ToddCoxeter (Example H12E21)
ToddCoxeterSchreier
ToddCoxeterSchreier(G: parameters) : GrpMat : ->
ToddCoxeterSchreier(G: parameters) : GrpPerm : ->
Top
Top(L): ModLat -> ModLatElt
Top(L): SubGrpLat -> SubGrpLatElt
TorsionFreeRank
TorsionFreeRank(A) : GrpAb -> RngIntElt
TorsionFreeRank(G) : GrpFP -> RngIntElt
TorsionFreeSubgroup
TorsionFreeSubgroup(A) : GrpAb -> GrpAb
TorsionInvariants
TorsionInvariants(A) : GrpAb -> [ RngIntElt ]
TorsionSubgroup
TorsionSubgroup(K) : FldQuad -> GrpAb, Map
TorsionSubgroup(A) : GrpAb -> GrpAb
TorsionSubgroup(O) : RngOrd -> GrpAb, Map
TotalDegree
TotalDegree(f) : RngMPolElt -> RngIntElt
TotallyRamifiedExtension
TotallyRamifiedExtension(F, P) : FldLoc, UPolFldElt -> FldLoc
Trace
Trace(a) : AlgMatElt -> RngElt
Trace(C, S) : Code, FldFin -> Code
Trace(a) : FldCycElt -> FldRatElt
Trace(a) : FldFinElt -> FldFinElt
Trace(a) : FldNumElt -> FldRatElt
Trace(a) : FldQuadElt -> FldRatElt
Trace(q) : FldRatElt -> FldRatElt
Trace(g) : GrpMatElt -> RngElt
Trace(u, F) : ModTupFldElt, Fld -> ModTupFldElt
Trace(u, S) : ModTupFldElt, FldFin -> ModTupFldElt
Trace(n) : RngIntElt -> RngIntElt
trace
Conjugates, Minimal Polynomial (CYCLOTOMIC FIELDS)
Conjugates, Norm and Trace (RATIONAL FIELD)
Conjugates, Norm and Trace (RING OF INTEGERS)
Determinant, Trace, Transpose and Order (MATRIX ALGEBRAS)
Norm and Trace (FINITE FIELDS)
Norm, Trace, and Minimal Polynomial (NUMBER FIELDS AND THEIR ORDERS)
TraceMatrix
TraceMatrix(O) : RngOrd -> AlgMatElt
TrailingCoefficient
TrailingCoefficient(p) : RngDPolElt -> RngElt
TrailingCoefficient(p) : RngUPolElt -> RngElt
TrailingTerm
TrailingTerm(p) : RngDPolElt -> RngElt
TrailingTerm(p) : RngUPolElt -> RngUPolElt
transcendental
Transcendental Functions (POWER SERIES AND LAURENT SERIES)
Transcendental Functions (REAL AND COMPLEX FIELDS)
transfer
Transfer Functions Between Group Categories (GROUPS)
transformation
Modules (OVERVIEW)
Operations with Linear Transformations (VECTOR SPACES)
VECTOR SPACES
TransformationMatrix
TransformationMatrix(O, P) : RngOrd -> AlgMatElt, RngIntElt
TransformationMatrix(I) : RngOrdIdl -> AlgMatElt, RngIntElt
transitive
Database of the Transitive Groups of Degrees from 2 to 12 (OVERVIEW)
Transitivity
Transitivity(G, Y) : GrpPerm, GSet -> RngIntElt
Transpose
Transpose(a) : AlgMatElt -> AlgMatElt
Transpose(g) : GrpMatElt -> GrpMatElt
Transpose(a) : ModMatElt -> ModMatElt
Transpose(a) : ModMatRngElt -> ModMatRngElt
transpose
Determinant, Trace, Transpose and Order (MATRIX ALGEBRAS)
Transversal
SchreierSystem(G, H) : GrpFP, GrpFP -> {@ GrpFPElt @}, Map
Transversal(G, H) : Grp, Grp -> {@ GrpElt @}, Map
Transversal(G, H) : GrpAb, GrpAb -> {@ GrpAbElt @}, Map
Transversal(G, H) : GrpFP, GrpFP -> {@ GrpFPElt @}, Map
Transversal(G, H, K) : GrpFP, GrpFP, GrpFP -> {@ GrpFPElt @}, Map
Transversal(G, H) : GrpMat, GrpMat -> {@ GrpMatElt @}, Map
Transversal(G, H) : GrpPC, GrpPC -> {@ GrpPCElt @}, Map
Transversal(G, H) : GrpPerm, GrpPerm -> {@ GrpPermElt @}, Map
Transversal(V, U): ModTupFld, ModTupFld -> { ModTupFldELt }
trap
Traps for Young Players (MAGMA SEMANTICS)
trap1
Trap 1 (MAGMA SEMANTICS)
trap2
Trap 2 (MAGMA SEMANTICS)
tree
Spanning Trees of a Graph or Digraph (GRAPHS)
Tricomponents
[Future release] Tricomponents(G) : GrphUnd -> { { Vert } }
trigonometric
Inverse Trigonometric Functions (REAL AND COMPLEX FIELDS)
Trigonometric Functions (REAL AND COMPLEX FIELDS)
Trinomials
RngDPol_Trinomials (Example H23E5)
TrivialModule
TrivialModule(G, R) : Grp, Rng -> ModGrp
trngps
Database of the Transitive Groups of Degrees from 2 to 12 (OVERVIEW)
true
Booleans (OVERVIEW)
true
Truncate
Truncate(q) : FldRatElt -> RngIntElt
Truncate(r) : FldReElt -> RngIntElt
Truncate(n) : RngIntElt -> RngIntElt
Truncate(f) : RngPowElt -> RngPowElt
Tuple
Tup_Tuple (Example H6E2)
tuple
TUPLES AND CARTESIAN PRODUCTS
tuple-cartesian-product
TUPLES AND CARTESIAN PRODUCTS
TupleAccess
Tup_TupleAccess (Example H6E3)
TwoElement
Two-Element Presentations (NUMBER FIELDS AND THEIR ORDERS)
TwoElement(I) : RngOrdIdl -> FldNumElt, FldNumElt
TwoElementNormal
TwoElementNormal(I) : RngOrdIdl -> FldNumElt, FldNumElt, RngIntElt
TwoGenerator
AlgFP_TwoGenerator (Example H37E5)
twogps
Database of Groups of Order Dividing 256 (OVERVIEW)
Type
Category(S) : Obj -> Cat
Category(R) : Rng -> Cat
Category(r) : RngElt -> Cat
type
Category (OVERVIEW)
Parent and Category (INTRODUCTION [RINGS AND FIELDS])
typing
Dynamic Typing (MAGMA SEMANTICS)
[____] [____] [_____] [____] [__] [Index] [Root]