Documentation

Example-WordArithmetic
- GrpCox_WordArithmetic (Example H105E13)
Example-WordOps
- GrpFP_WordOps (Example H78E7)
- GrpFree_WordOps (Example H76E4)
Example-Words
- CodeFld_Words (Example H161E23)
- GrpAtc_Words (Example H82E7)
- GrpFree_Words (Example H76E3)
- GrpRWS_Words (Example H81E7)
- MonRWS_Words (Example H85E9)
Example-wps-singularities
- Scheme_wps-singularities (Example H119E20)
Example-WriteOverSmallerField
- GrpASim_WriteOverSmallerField (Example H71E22)
- GrpASim_WriteOverSmallerField (Example H71E5)
- GrpMatFF_WriteOverSmallerField (Example H66E8)
Example-wronskian-mat-det
- RngDiff_wronskian-mat-det (Example H118E32)
Example-WZWFusion
- LieReps_WZWFusion (Example H111E21)
Example-x0n-quotient
- CrvMod_x0n-quotient (Example H137E6)
Example-X3
- CodeFld_X3 (Example H161E35)
Example-XX
- CodeFld_XX (Example H161E36)
Example-zassenhaus
- FldNear_zassenhaus (Example H23E4)
Example-ZClasses
- GrpMatQZ_ZClasses (Example H68E1)
Example-zero
- FldNum_zero (Example H36E9)
- RngOrd_zero (Example H39E12)
Example-zeros-and-poles
- Crv_zeros-and-poles (Example H121E29)
Example-Zinoviev
- CodeFld_Zinoviev (Example H161E37)
Example-ZRadical
- Ideal_ZRadical (Example H113E7)
example1
- RepLoc_example1 (Example H148E3)
example2
- RepLoc_example2 (Example H148E4)
example3
- RepLoc_example3 (Example H148E5)
Examples
- Examples (FUNCTIONS, PROCEDURES AND PACKAGES)
- Examples (MATRIX GROUPS OVER Q AND Z)
- Examples (MOD P GALOIS REPRESENTATIONS)
examples
- Advanced Examples (L-FUNCTIONS)
- Examples (ADMISSIBLE REPRESENTATIONS OF GL₂(Q_p))
- Examples (FUNCTIONS, PROCEDURES AND PACKAGES)
- Examples (HYPERGEOMETRIC MOTIVES)
- Examples (LATTICES OVER NUMBER FIELDS)
- Examples (MATRIX GROUPS OVER INFINITE FIELDS)
- Examples (MODELS OF GENUS ONE CURVES)
- Examples (QUATERNION ALGEBRAS)
- Extended Examples (ELLIPTIC CURVES OVER FUNCTION FIELDS)
- Further Examples (HILBERT MODULAR FORMS)
- Jacobi Motive Examples (HYPERGEOMETRIC MOTIVES)
- Rational Curve and Conic Examples (RATIONAL CURVES AND CONICS)
- Some Developed Examples (FINITELY PRESENTED GROUPS)
examples1
- Ambients (ALGEBRAIC CURVES)
- Curves (ALGEBRAIC CURVES)
- First Examples (ALGEBRAIC CURVES)
examples1-ambients
- Ambients (ALGEBRAIC CURVES)
examples1-curve
- Curves (ALGEBRAIC CURVES)
examples2
- Advanced Examples (ALGEBRAIC CURVES)
- Algebraic Geometric Codes (ALGEBRAIC CURVES)
- Trigonal Curves (ALGEBRAIC CURVES)
examples2-codes
- Algebraic Geometric Codes (ALGEBRAIC CURVES)
examples2-trigonal
- Trigonal Curves (ALGEBRAIC CURVES)
Exceptional
- ExceptionalConstructiveRecognition(G, type, rank, q) : GrpMat[FldFin], MonStgElt, RngIntElt, RngIntElt ->BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
- ExceptionalDivisors(S) : Srfc -> List, List
- ExceptionalJordanCSA(O) : AlgGen -> AlgGen
- ExceptionalRewrite(type, rank, q, X, Xm, g): MonStgElt, RngIntElt, RngIntElt,SeqEnum, SeqEnum, GrpElt -> BoolElt, GrpElt
- ExceptionalStandardGenerators(type, rank, q) : MonStgElt, RngIntElt, RngIntElt -> []
- ExceptionalStandardPresentation (type, rank, q) : MonStgElt, RngIntElt, RngIntElt -> SLPGroup, []
- ExceptionalUnitOrbit(u) : RngOrdElt -> [ RngOrdElt ]
- ExceptionalUnits(O) : RngOrd -> [ RngOrdElt ]
- IsExceptionalUnit(u) : RngOrdElt -> BoolElt
exceptional
- Constructive Recognition for Exceptional Groups (MATRIX GROUPS OVER FINITE FIELDS)
- Exceptional Groups (ALMOST SIMPLE GROUPS)
- Maximal Subgroups of the Exceptional Groups (ALMOST SIMPLE GROUPS)
- Sylow Subgroups of Exceptional Groups (ALMOST SIMPLE GROUPS)
exceptional-crc
- Constructive Recognition for Exceptional Groups (MATRIX GROUPS OVER FINITE FIELDS)
exceptional-groups
- Exceptional Groups (ALMOST SIMPLE GROUPS)
exceptional-maximals
- Maximal Subgroups of the Exceptional Groups (ALMOST SIMPLE GROUPS)
exceptional-sylow
- Sylow Subgroups of Exceptional Groups (ALMOST SIMPLE GROUPS)
ExceptionalConstructiveRecognition
- ExceptionalConstructiveRecognition(G, type, rank, q) : GrpMat[FldFin], MonStgElt, RngIntElt, RngIntElt ->BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
- GrpMatFF_ExceptionalConstructiveRecognition (Example H66E12)
ExceptionalDivisors
- ExceptionalDivisors(S) : Srfc -> List, List
ExceptionalJordanCSA
- ExceptionalJordanCSA(O) : AlgGen -> AlgGen
ExceptionalRewrite
- ExceptionalRewrite(type, rank, q, X, Xm, g): MonStgElt, RngIntElt, RngIntElt,SeqEnum, SeqEnum, GrpElt -> BoolElt, GrpElt

V2.28, 13 July 2023

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