Documentation

TernaryGolayCode
- CodeFld_TernaryGolayCode (Example H161E1)
- CodeRng_TernaryGolayCode (Example H164E1)
TernaryQuarticFromDixmierOhnoInvariants
- TernaryQuarticFromDixmierOhnoInvariants(DO) : SeqEnum -> RngMPolElt, SeqEnum
- PlaneQuarticFromDixmierOhnoInvariants(DO) : SeqEnum -> Crv, SeqEnum
Test
- DedekindTest(p, m) : RngUPolElt, RngIntElt -> Boolelt
- HomogeneousModuleTest(P, S, F) : [ RngMPol ], [ RngMPol ], RngMPol -> BoolElt, [ RngMPol ]
- HomogeneousModuleTest(P, S, F) : [ RngMPol ], [ RngMPol ], RngMPol -> BoolElt, [ RngMPol ]
- HomogeneousModuleTest(P, S, L) : [ RngMPol ], [ RngMPol ], [ RngMPol ] -> [ BoolElt ], [ [ RngMPol ] ]
- HomogeneousModuleTest(P, S, L) : [ RngMPol ], [ RngMPol ], [ RngMPol ] -> [ BoolElt ], [ [ RngMPol ] ]
- HomogeneousModuleTestBasis(P, S, L) : [ RngMPol ], [ RngMPol ], [ RngMPol ] -> [ BoolElt ], [ [ RngMPol ] ]
- OpenTest(name, mode) : MonStgElt, MonStgElt -> BoolElt, IO
- TestHeckeRep(W,r) : GrpFPCox, SeqEnum -> .
- TestWG(W,wg) : GrpFPCox, GrphUnd -> .
test
- Recognition Functions (QUATERNION ALGEBRAS)
- Singularity Analysis (ALGEBRAIC CURVES)
- Testing Finiteness (MATRIX GROUPS OVER INFINITE FIELDS)
- Tests for Baskets (HILBERT SERIES OF POLARISED VARIETIES)
TestHeckeRep
- TestHeckeRep(W,r) : GrpFPCox, SeqEnum -> .
Testing
- Cartan_Testing (Example H102E11)
testing
- Testing for Edge Decorations (MULTIGRAPHS)
Tests
- Boolean Tests on Subspaces (BRANDT MODULES)
tests
- Basic Tests (SCHEMES)
- Tests for Linear Systems (SCHEMES)
TestWG
- TestWG(W,wg) : GrpFPCox, GrphUnd -> .
Tetrahedral
- GrpFPInt_Tetrahedral (Example H77E3)
- GrpFP_Tetrahedral (Example H78E4)
tg
- CM Points (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
- Creation of Triangle Groups (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
- Fundamental Domain (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
tg-cm-points
- CM Points (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
tg-creation
- Creation of Triangle Groups (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
tg-fundamental-domains
- Fundamental Domain (ARITHMETIC FUCHSIAN GROUPS AND SHIMURA CURVES)
TGAutomorphism
- TGAutomorphismGroup(G : parameters) : GrpPC -> GrpAuto
TGAutomorphismGroup
- TGAutomorphismGroup(G : parameters) : GrpPC -> GrpAuto
TGIs
- TGIsIsomorphic(G, H : parameters) : GrpPC, GrpPC -> BoolElt
- TGIsPseudoIsometric(s, t : parameters) : TenSpcElt, TenSpcElt -> BoolElt, Hmtp
TGIsIsomorphic
- TGIsIsomorphic(G, H : parameters) : GrpPC, GrpPC -> BoolElt
TGIsPseudoIsometric
- TGIsPseudoIsometric(s, t : parameters) : TenSpcElt, TenSpcElt -> BoolElt, Hmtp
TGPseudo
- TGPseudoIsometryGroup(t : parameters) : TenSpcElt -> GrpMat
TGPseudoIsometryGroup
- TGPseudoIsometryGroup(t : parameters) : TenSpcElt -> GrpMat
TGRandom
- TGRandomGroup(q, n, g : parameters) : RngIntElt, RngIntElt, RngIntElt -> GrpPC
TGRandomGroup
- TGRandomGroup(q, n, g : parameters) : RngIntElt, RngIntElt, RngIntElt -> GrpPC
TGSignature
- TGSignature(G) : GrpPC -> List
- TGSignature(t) : TenSpcElt -> List
The
- CompleteTheSquare(model) : ModelG1 -> ModelG1
the-next_example
- FldFunRat_the-next_example (Example H44E8)
Theorem
- ChineseRemainderTheorem(I1, L1, e1, L2) : RngOrdIdl, [RngIntElt], RngOrdElt, [RngIntElt] -> RngOrdElt
- CRT(I1, L1, e1, L2) : RngOrdIdl, [RngIntElt], RngOrdElt, [RngIntElt] -> RngOrdElt
- ChineseRemainderTheorem(I1, I2, e1, e2) : RngFunOrdIdl, RngFunOrdIdl, RngFunOrdElt, RngFunOrdElt -> RngFunOrdElt
- ChineseRemainderTheorem(I, J, a, b) : RngInt, RngInt, RngIntElt, RngIntElt -> RngIntElt
- ChineseRemainderTheorem(I1, I2, e1, e2) : RngOrdIdl, RngOrdIdl, RngOrdElt, RngOrdElt -> RngOrdElt
- ChineseRemainderTheorem(S, Z, V): [PlcFunElt], [FldFunGElt], [RngIntElt] -> FldFunElt
- ChineseRemainderTheorem(X, N) : [RngIntElt], [RngIntElt] -> RngIntElt
- ChineseRemainderTheorem(X, M) : [RngUPolElt], [RngUPolElt] -> RngUPolElt
Theory
- Introduction (FINITELY PRESENTED GROUPS)
theory
- An Overview of Relevant Theory (ELLIPTIC CURVES OVER FUNCTION FIELDS)
- GALOIS GROUPS AND AUTOMORPHISMS
- Galois Theory (NUMBER FIELDS)
- Group Theoretic Functions (CLASS FIELD THEORY)
- Ideal Theory of Orders (QUATERNION ALGEBRAS)
- Representation Theory (POLYCYCLIC GROUPS)
Theta
- JacobiTheta(q, z) : FldReElt, FldReElt -> FldReElt
- JacobiTheta(q, z) : FldReElt, RngSerElt[FldRe] -> RngSerElt
- JacobiThetaNullK(q, k) : FldReElt, RngIntElt -> FldReElt
- Theta(char, z, A) : Mtrx, Mtrx, AnHcJac -> FldComElt
- Theta(char, z, tau) : Mtrx, Mtrx, Mtrx -> FldComElt
- ThetaOperator(M1, M2) : ModSym, ModSym -> Map
- ThetaSeries(L, n) : Lat, RngIntElt -> RngSerElt
- ThetaSeries(x, y, prec) : ModBrdtElt, ModBrdtElt, RngIntElt -> RngSerElt
- ThetaSeries(f, n) : QuadBinElt, RngIntElt -> RngSerElt
- ThetaSeriesIntegral(L, n) : Lat, RngIntElt -> RngSerElt
- ThetaSeriesModularForm(L) : Lat -> ModFrmElt
- ThetaSeriesModularFormSpace(L) : Lat -> ModFrm
theta
- Successive Minima and Theta Series (LATTICES)
- Theta Functions (REAL AND COMPLEX FIELDS)
- Theta Series (PARALLELISM)
theta_ex
- Par_theta_ex (Example H5E20)

V2.28, 13 July 2023

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