[____] [____] [_____] [____] [__] [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
Tangent
Tangent(A, p) : { PlanePt }, PlanePt -> PlaneLn
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) : RngMPolElt, RngIntElt, RngIntElt -> RngMPolElt
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) : RngMPolElt -> [ RngMPolElt ]
Terms(p) : RngUPolElt -> [ RngUPolElt ]
TernaryGolayCode
Code_TernaryGolayCode (Example H44E1)
Tetrahedral
GrpFP_Tetrahedral (Example H14E5)
text
Strings (OVERVIEW)
threegps
Database of Groups of Order Dividing 729 (OVERVIEW)
ThreeInvols
GrpFP_ThreeInvols (Example H14E6)
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 H1E3)
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 H14E21)
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(E) : GeomEC -> GrpAb, Map
TorsionSubgroup(A) : GrpAb -> GrpAb
TorsionSubgroup(O) : RngOrd -> GrpAb, Map
TotalDegree
TotalDegree(f) : RngMPolElt -> RngIntElt
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) : RngMPolElt -> RngElt
TrailingCoefficient(p) : RngUPolElt -> RngElt
TrailingTerm
TrailingTerm(p) : RngMPolElt -> RngElt
TrailingTerm(p) : RngUPolElt -> RngUPolElt
transcendental
Transcendental Extension (INTRODUCTION [RINGS AND FIELDS])
Transcendental Functions (POWER SERIES AND LAURENT SERIES)
Transcendental Functions (REAL AND COMPLEX FIELDS)
transcendental-extension
Transcendental Extension (INTRODUCTION [RINGS AND 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
RngMPol_Trinomials (Example H25E6)
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)
TupleToList
TupleToList(T) : Tup -> List
Tuplist
TupleToList(T) : Tup -> List
TwoElement
Two-Element Presentations (NUMBER FIELDS AND THEIR ORDERS)
TwoElement(I) : RngOrdIdl -> FldNumElt, FldNumElt
TwoElementNormal
TwoElementNormal(I) : RngOrdIdl -> FldNumElt, FldNumElt, RngIntElt
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]