Documentation

timing
- Timing (PARALLELISM)
- Timing (STATEMENTS AND EXPRESSIONS)
Tjurina
- TjurinaNumberAnalyticHypersurface(dat) : Rec -> RngIntElt
- MilnorNumberAnalyticHypersurface(dat) : Rec -> RngIntElt
- TjurinaNumber(f) : RngMPolElt -> RngElt
TjurinaNumber
- TjurinaNumber(f) : RngMPolElt -> RngElt
TjurinaNumberAnalyticHypersurface
- TjurinaNumberAnalyticHypersurface(dat) : Rec -> RngIntElt
- MilnorNumberAnalyticHypersurface(dat) : Rec -> RngIntElt
to
- WeilToClassLatticesMap(C) : RngCox -> Map
- Recovering a Toric Variety From a Cox Ring (TORIC VARIETIES)
- Splice Diagrams from Resolution Graphs (RESOLUTION GRAPHS AND SPLICE DIAGRAMS)
- Transfer to GrpPC (FINITE SOLUBLE GROUPS)
to-grp-pc
- Transfer to GrpPC (FINITE SOLUBLE GROUPS)
To2
- To2DUpperHalfSpaceFundamentalDomain(z) : Mtrx -> Mtrx, Mtrx
To2DUpperHalfSpaceFundamentalDomain
- To2DUpperHalfSpaceFundamentalDomain(z) : Mtrx -> Mtrx, Mtrx
ToAnalyticJacobian
- ToAnalyticJacobian(x, y, A) : FldComElt, FldComElt, AnHcJac -> Mtrx
ToAnalyticJacobianMumford
- ToAnalyticJacobianMumford(pt, AJ, conj) : JacHypPt, AnHcJac, RngIntElt -> Mtrx
- ToAnalyticJacobianMumford(pt, AJ) : JacHypPt, AnHcJac-> Mtrx
Todd
- Implicit Invocation of the Todd- Coxeter Algorithm (FINITELY PRESENTED GROUPS)
- The Todd-Coxeter Algorithm (FINITELY PRESENTED GROUPS)
- ShephardTodd(n) : RngIntElt -> GrpMat, Fld
- ShephardTodd(m, p, n) : RngIntElt, RngIntElt, RngIntElt -> GrpMat, Fld
- ShephardToddNumber(X, n) : MonStgElt, RngIntElt -> RngIntElt
- ToddCoxeter(G, H: parameters) : GrpFP, GrpFP -> RngIntElt, Map, RngIntElt, RngIntElt
- ToddCoxeterSchreier(G) : GrpMat : ->
- ToddCoxeterSchreier(G: parameters) : GrpPerm ->
ToddCoxeter
- ToddCoxeter(G, H: parameters) : GrpFP, GrpFP -> RngIntElt, Map, RngIntElt, RngIntElt
ToddCoxeterSchreier
- ToddCoxeterSchreier(G) : GrpMat : ->
- ToddCoxeterSchreier(G: parameters) : GrpPerm ->
ToFromLiEEx
- LieReps_ToFromLiEEx (Example H111E20)
ToLiE
- ToLiE(D) : LieRepDec -> MonStgElt
tools
- Magma and CWI NFS Interoperability (RING OF INTEGERS)
TOP
- Term Over Position: TOP (MODULES OVER MULTIVARIATE RINGS)
Top
- Top(L) : SubFldLat -> SubFldLatElt
- Top(L): SubGrpLat -> SubGrpLatElt
- Top(L): SubModLat -> SubModLatElt
- TopQuotients(D) : DB -> SetIndx
TOPPOT
- Block TOP-POT: TOPPOT (MODULES OVER MULTIVARIATE RINGS)
TopQuotients
- TopQuotients(D) : DB -> SetIndx
TOPTOP
- Block TOP-TOP: TOPTOP (MODULES OVER MULTIVARIATE RINGS)
TOPW
- Term Over Position (Weighted): TOPW (MODULES OVER MULTIVARIATE RINGS)
Tor
- Tor(i, M, N) : RngIntElt, ModMPol, ModMPol -> ModMPol
Toral
- IsSplitToralSubalgebra(L, H) : AlgLie, AlgLie -> BoolElt
- SplitToralSubalgebra(L) : AlgLie -> AlgLie
- SplittingCartanSubalgebra(L) : AlgLie -> AlgLie
- ToralRootDatum(n) : RngIntElt -> RootDtm
- ToralRootSystem(n) : RngIntElt -> RootSys
toral
- Cartan and Toral Subalgebras (LIE ALGEBRAS)
- Toral Elements (REPRESENTATIONS OF LIE GROUPS AND ALGEBRAS)
ToralRootData
- RootDtm_ToralRootData (Example H104E5)
ToralRootDatum
- ToralRootDatum(n) : RngIntElt -> RootDtm
ToralRootSystem
- ToralRootSystem(n) : RngIntElt -> RootSys
Tori
- TwistedTori(G) : GrpLie -> SeqEnum
- TwistedToriOrders(G) : GrpLie -> SeqEnum
tori
- The Associated Complex Torus (MODULAR SYMBOLS)
- Twisted Tori (GROUPS OF LIE TYPE)
Toric
- BinomialToricEmbedding(Z) : Sch -> Sch, TorMap
- ProjectiveSpace(k,n) : Fld,RngIntElt -> Prj
- ProjectiveSpace(k,W) : Fld,[RngIntElt] -> Prj
- ToricAffinePatch(X,i) : TorVar,RngIntElt -> TorVar,TorMap
- ToricAffinePatch(X,S) : TorVar,[RngIntElt] -> TorVar,TorMap
- ToricCode(S, q) : SeqEnum[TorLatElt], RngIntElt -> Code
- ToricCode(P, q) : TorPol, RngIntElt -> Code
- ToricIdentityMap(X) : TorVar -> TorMap
- ToricLattice(n) : RngIntElt -> TorLat
- ToricLattice(Q) : [[RngIntElt]] -> TorLat,TorLatMap
- ToricVariety(G) : DivTor -> TorVar
- ToricVariety(k) : Fld -> TorVar
- ToricVariety(k,n) : Fld,RngIntElt -> TorVar
- ToricVariety(k,F) : Fld,TorFan -> TorVar
- ToricVariety(k,Z) : Fld,[RngIntElt] -> TorVar
- ToricVariety(k,Z,Q) : Fld,[RngIntElt],[FldRatElt] -> TorVar
- ToricVariety(k,M,v) : Fld,[[RngIntElt]],[RngIntElt] -> TorVar
- ToricVariety(C) : RngCox -> TorVar
- ToricVarietyMap(X,Y,f) : TorVar,TorVar,Map -> TorMap
toric
- Affine Patches on Toric Varieties (TORIC VARIETIES)
- Components of Fans (TORIC VARIETIES)
- Constructing Invariant Divisors (TORIC VARIETIES)
- Construction of Fans (TORIC VARIETIES)
- Construction of Subschemes (TORIC VARIETIES)
- Constructors for Toric Varieties (TORIC VARIETIES)
- Cox Rings in Their Own Right (TORIC VARIETIES)
- Decomposition of Toric Morphisms (TORIC VARIETIES)
- Divisor Group (TORIC VARIETIES)
- Fans in Toric Lattices (TORIC VARIETIES)
- Geometrical Properties of Cones and Polyhedra (TORIC VARIETIES)
- Invariant Divisors and Riemann-Roch Spaces (TORIC VARIETIES)
- Linear Equivalence of Divisors (TORIC VARIETIES)
- Maps from Lattice Maps (TORIC VARIETIES)
- Maps of Fans (TORIC VARIETIES)
- Maps of Toric Lattices (CONVEX POLYTOPES AND POLYHEDRA)
- Maps of Toric Varieties (TORIC VARIETIES)
- Mori Theory of Toric Varieties (TORIC VARIETIES)
- Operations on Toric Lattices (CONVEX POLYTOPES AND POLYHEDRA)
- Points of Toric Lattices (CONVEX POLYTOPES AND POLYHEDRA)
- Properties of Divisors (TORIC VARIETIES)
- Properties of Fans (TORIC VARIETIES)
- Properties of Toric Maps (TORIC VARIETIES)
- Properties of Toric Varieties (TORIC VARIETIES)
- Recovering a Toric Variety From a Cox Ring (TORIC VARIETIES)
- Resolution of Singularities and Linear Systems (TORIC VARIETIES)
- Riemann--Roch Spaces of Invariant Divisors (TORIC VARIETIES)
- Schemes in Toric Varieties (TORIC VARIETIES)
- The Cox Ring of a Toric Variety (TORIC VARIETIES)
- The Geometry of Toric Varieties (TORIC VARIETIES)
- Toric Lattices (CONVEX POLYTOPES AND POLYHEDRA)
- Toric Lattices (CONVEX POLYTOPES AND POLYHEDRA)
- TORIC VARIETIES
- Toric Varieties (TORIC VARIETIES)
- Toric Varieties and their Fans (TORIC VARIETIES)

V2.28, 13 July 2023

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