Documentation

factorization
- Factorization (QUADRATIC FIELDS)
- Factorization (UNIVARIATE POLYNOMIAL RINGS)
- Factorization and Irreducibility (MULTIVARIATE POLYNOMIAL RINGS)
- Factorization and Irreducibility (UNIVARIATE POLYNOMIAL RINGS)
- Factorization and Primes (NUMBER FIELDS AND ORDERS)
- Factorization Related Functions (RING OF INTEGERS)
- Factorization Sequences (RING OF INTEGERS)
- General Factorization (RING OF INTEGERS)
- Specific Factorization Algorithms (RING OF INTEGERS)
- The Factorization Stage (RING OF INTEGERS)
factorization-general
- Factorisation(n) : RngIntElt -> RngIntEltFact, RngIntElt, SeqEnum
- General Factorization (RING OF INTEGERS)
factorization-irreducibility
- Factorization and Irreducibility (MULTIVARIATE POLYNOMIAL RINGS)
- Factorization and Irreducibility (UNIVARIATE POLYNOMIAL RINGS)
factorization-related
- Factorization Related Functions (RING OF INTEGERS)
factorization-sequence
- Factorization Sequences (RING OF INTEGERS)
factorization-specific
- Specific Factorization Algorithms (RING OF INTEGERS)
FactorizationOverSplittingField
- FactorisationOverSplittingField(f) : RngUPolElt[FldFin] -> [<RngUPolElt, RngIntElt>], FldFin
- FactorizationOverSplittingField(f) : RngUPolElt[FldFin] -> [<RngUPolElt, RngIntElt>], FldFin
FactorizationToInteger
- FactorizationToInteger(f) : RngIntEltFact -> RngIntElt
- Facint(f) : RngIntEltFact -> RngIntElt
- FactorizationToInteger(s) : [ <RngIntElt, RngIntElt> ] -> RngIntElt
Factors
- ChiefFactors(G) : GrpMat -> [ <RngIntElt, RngIntElt, RngIntElt, RngIntElt> ]
- ChiefFactors(G) : GrpPerm -> [ <RngIntElt, RngIntElt, RngIntElt, RngIntElt> ]
- ClearStoredFactors() : ->
- CompositionFactors(A) : AlgGen -> [ AlgGen ]
- CompositionFactors(L) : AlgLie -> [ AlgLie ]
- CompositionFactors(G) : GrpFin -> [ <RngIntElt, RngIntElt, RngIntElt> ]
- CompositionFactors(G) : GrpMat -> [ <RngIntElt, RngIntElt, RngIntElt> ]
- CompositionFactors(G) : GrpPC -> SeqEnum
- CompositionFactors(G) : GrpPerm -> [ <RngIntElt, RngIntElt, RngIntElt> ]
- CompositionFactors(M) : ModRng -> [ ModRng ]
- CompositionTreeNonAbelianFactors(G) : Grp -> RngIntElt
- CompositionTreeNonAbelianFactors(G) : GrpMat[FldFin] -> List
- CyclotomicFactors(R, n) : Rng, RngIntElt -> [RngUPolElt]
- GammaFactors(HS) : HodgeStruc -> SeqEnum
- GammaFactors(L) : LSer -> SeqEnum
- GetStoredFactors() : -> [ RngIntElt ]
- InvariantFactors(a) : AlgMatElt -> [ AlgPolElt ]
- InvariantFactors(A) : Mtrx -> [ RngUPolElt ]
- JacobianOrdersByDeformation(Q, Y) : RngMPolElt, SeqEnum -> SeqEnum
- LMGChiefFactors(G) : GrpMat[FldFin] -> SeqEnum
- LMGCompositionFactors(G) : GrpMat[FldFin] -> SeqEnum
- LMGSocleStarFactors(G) : GrpMat -> SeqEnum, SeqEnum
- PrimaryInvariantFactors(a) : AlgMatElt -> [ <RngUPolElt, RngIntElt ]
- PrimaryInvariantFactors(A) : Mtrx -> [ <RngUPolElt, RngIntElt> ]
- ReflectionFactors(V, f) : ModTupFld, Mtrx -> SeqEnum
- RightHandFactors(L) : RngDiffOpElt -> SeqEnum, [BoolElt]
- SocleFactors(G) : GrpPerm -> [ GrpPerm ]
- SocleFactors(M) : ModRng -> [ ModRng ]
- SocleLayerFactors(M) : ModGrp -> SeqEnum
- TensorFactors(G) : GrpMat -> GrpMat, GrpMat
- RngLoc_Factors (Example H48E24)
factors
- Composition and Chief Factors (MATRIX GROUPS OVER GENERAL RINGS)
- Right Hand Factors of Operators (DIFFERENTIAL RINGS)
factors-precision
- RngLoc_factors-precision (Example H48E23)
facts
- Ideals and Factorisations (SCHEMES)
Faithful
- IsFaithful(x) : AlgChtrElt -> BoolElt
- IsFaithful(G, Y) : GrpPerm, GSet -> BoolElt
Fake
- FakeIsogenySelmerSet(C,phi) : Crv, MapSch -> RngIntElt
- FanOfFakeProjectiveSpace(W,Q) : SeqEnum, SeqEnum -> TorFan
- IsFakeWeightedProjectiveSpace(X) : TorVar -> BoolElt
- ProjectiveSpace(k,W) : Fld,[RngIntElt] -> Prj
FakeIsogenySelmerSet
- FakeIsogenySelmerSet(C,phi) : Crv, MapSch -> RngIntElt
FakeProjectiveSpace
- ProjectiveSpaceAsToricVariety(k,W) : Fld,[RngIntElt] -> TorVar
- WeightedProjectiveSpace(k,W) : Fld,[RngIntElt] -> TorVar
- WPS(k,W) : Fld,[RngIntElt] -> TorVar
- FakeProjectiveSpace(k,W,Q) : Fld,[RngIntElt],[FldRatElt] -> TorVar
- ProjectiveSpace(k,W) : Fld,[RngIntElt] -> Prj
Falpha
- Falpha(m, i) : AlgQUEElt, RngIntElt -> AlgQUEElt
- Falpha(p, i) : PathLS, RngIntElt -> PathLS
false
- false
- true
Faltings
- FaltingsHeight(E) : CrvEll[FldRat] -> FldReElt
- StableFaltingsHeight(E) : CrvEll[FldRat] -> FldReElt
FaltingsHeight
- FaltingsHeight(E) : CrvEll[FldRat] -> FldReElt
families
- Families of Codes over Z₄ (LINEAR CODES OVER THE INTEGER RESIDUE RING Z₄)
- Families of Elliptic Curves with Prescribed n-Torsion (MODELS OF GENUS ONE CURVES)
- Families of Linear Codes (ADDITIVE CODES)
- Families of Linear Codes (LINEAR CODES OVER FINITE FIELDS)
- Special Families of Polynomials (UNIVARIATE POLYNOMIAL RINGS)
- Special Surfaces in Projective 4-space (ALGEBRAIC SURFACES)
families-polynomials
- Special Families of Polynomials (UNIVARIATE POLYNOMIAL RINGS)

V2.28, 13 July 2023

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