Documentation

forms
- An Illustrative Overview (MODULAR FORMS)
- Half-integral Weight Forms (MODULAR FORMS)
- HILBERT MODULAR FORMS
- Invariant Forms (LATTICES WITH GROUP ACTION)
- Invariant Forms (MATRIX GROUPS OVER Q AND Z)
- Minimal Forms and Gradings (BASIC ALGEBRAS)
- Minimization and Reduction of Binary Forms (HYPERELLIPTIC CURVES)
- MODULAR ABELIAN VARIETIES
- MODULAR FORMS
- Modular Forms (MODULAR FORMS)
- MODULAR FORMS OVER IMAGINARY QUADRATIC FIELDS
- Pseudo-reflections Preserving Reflexive Forms (REFLECTION GROUPS)
- QUADRATIC FORMS
- Reduced Forms (BINARY QUADRATIC FORMS)
- Reflexive Forms (POLAR SPACES)
- Weight Half Forms (MODULAR FORMS)
- Weight One Forms (MODULAR FORMS)
forms-gradings-permute-idempotents
- Minimal Forms and Gradings (BASIC ALGEBRAS)
Forms1
- Mat_Forms1 (Example H27E10)
FormType
- FormType(G) : GrpMat -> MonStgElt
Formula
- ArtinTateFormula(f, q, h20) : RngUPolElt, RngIntElt, RngIntElt -> RngIntElt, RngIntElt
- DimensionByFormula(M) : ModFrm -> RngIntElt
- DimensionByFormula(N, k) : RngIntElt, FldRatElt -> RngIntElt
formulas
- Dimension Formulas (MODULAR SYMBOLS)
- Dimensions of Spaces (BRANDT MODULES)
forrandom
- forrandom
- forrandom
forward
- The forward Declaration (FUNCTIONS, PROCEDURES AND PACKAGES)
- forward f;
- Func_forward (Example H2E6)
Four
- FourCoverPullback(C, pt) : Crv[FldRat], PtEll[FldRat] -> [Pt]
- FourDescent(C : parameters) : CrvHyp -> [Crv]
- FourToTwoCovering(model : parameters) : ModelG1 -> Crv, Crv, MapSch
four_descent
- Four-Descent (ELLIPTIC CURVES OVER Q AND NUMBER FIELDS)
FourCoverPullback
- FourCoverPullback(C, pt) : Crv[FldRat], PtEll[FldRat] -> [Pt]
FourDescent
- FourDescent(C : parameters) : CrvHyp -> [Crv]
fourdescent
- CrvEllQNF_fourdescent (Example H130E36)
Fourier
- DiscreteFourierTransform(E) : SeqEnum[FldComElt] -> SeqEnum[FldComElt]
fourier
- Discrete Fourier Transform (REAL AND COMPLEX FIELDS)
fourprimes
- Groups with Order Divisible by Only 4 Primes (DATABASES OF GROUPS)
FourToTwoCovering
- FourToTwoCovering(model : parameters) : ModelG1 -> Crv, Crv, MapSch
fp
- Construction of a Finitely- Presented Lie Algebra (LIE ALGEBRAS)
- Construction of an FP-Group (FINITELY PRESENTED GROUPS)
- Construction of FP-Groups (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
- Conversion to FP-Groups (FINITELY PRESENTED GROUPS)
- Finite FP-Groups (FINITELY PRESENTED GROUPS)
- Finitely Presented Algebras (FINITELY PRESENTED ALGEBRAS)
- Finitely Presented Lie Algebras (LIE ALGEBRAS)
- FP-Group constructor (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
- Generators and Relations (PERMUTATION GROUPS)
- Homomorphisms of the Free Lie Algebra (LIE ALGEBRAS)
- Introduction (FINITELY PRESENTED GROUPS)
- Operations for FI-Subgroups (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
- Properties of an FP-Group (FINITELY PRESENTED GROUPS)
- Quotient Group Constructor (FINITELY PRESENTED GROUPS)
- Quotient Group Constructors (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
- The FP-Group Constructor (FINITELY PRESENTED GROUPS)
fp-algebra
- Finitely Presented Algebras (FINITELY PRESENTED ALGEBRAS)
fp-construct
- Construction of a Finitely- Presented Lie Algebra (LIE ALGEBRAS)
- Finitely Presented Lie Algebras (LIE ALGEBRAS)
fp-gps:inf-psl2-quot
- GrpFP_fp-gps:inf-psl2-quot (Example H78E86)
fp-group
- Generators and Relations (PERMUTATION GROUPS)
fp-group-construction
- Construction of an FP-Group (FINITELY PRESENTED GROUPS)
- Construction of FP-Groups (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
fp-group-constructor
- FP-Group constructor (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
- The FP-Group Constructor (FINITELY PRESENTED GROUPS)
fp-group-conversion
- Conversion to FP-Groups (FINITELY PRESENTED GROUPS)
fp-group-intro
- Introduction (FINITELY PRESENTED GROUPS)
fp-group-properties
- Properties of an FP-Group (FINITELY PRESENTED GROUPS)
fp-group-quotient
- Quotient Group Constructor (FINITELY PRESENTED GROUPS)
- Quotient Group Constructors (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
fp-hom
- Homomorphisms of the Free Lie Algebra (LIE ALGEBRAS)
fp-subgroups
- Operations for FI-Subgroups (INTRODUCTION TO FP-GROUPS [FINITELY-PRESENTED GROUPS])
FPAlgebra
- FPAlgebra< K, X | L > : Fld, List, List -> AlgFP
FPCoxeterGroups
- GrpFP_FPCoxeterGroups (Example H78E18)

V2.28, 13 July 2023

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