Documentation

reduced
- Creation of Reduced Modules (MODULES OVER MULTIVARIATE RINGS)
- Module Basics: Embedded and Reduced Modules (MODULES OVER MULTIVARIATE RINGS)
- Reduced Forms (BINARY QUADRATIC FORMS)
reduced-forms
- Reduced Forms (BINARY QUADRATIC FORMS)
ReducedAteTPairing
- ReducedAteTPairing(Q, P, n, q) : PtEll, PtEll, RngIntElt, RngIntElt -> RngElt
ReducedAutomorphismGroupOfHyperellipticCurve
- ReducedAutomorphismGroupOfHyperellipticCurve(X, Autos) : CrvHyp , List -> GrpPerm, Map
- ReducedAutomorphismGroupOfHyperellipticCurve(X) : CrvHyp -> GrpPerm, Map
ReducedAutomorphismsOfHyperellipticCurve
- ReducedAutomorphismsOfHyperellipticCurve(X) : CrvHyp -> List
ReducedBasis
- ReducedBasis(O) : AlgAssVOrd[RngOrd] -> [AlgAssVElt]
- ReducedBasis(S) : AlgQuatOrd[RngInt] -> SeqEnum
- ReducedBasis(D) : OMDiv -> SeqEnum
- ReducedBasis(S: Precision) : [JacHypPt] -> SeqEnum, AlgMatElt, SeqEnum
- ReducedBasis(S) : [ PtEll ] -> [ PtEll ]
- ReducedGramMatrix(S) : AlgQuatOrd[RngUPol] -> AlgMatElt, SeqEnum
ReducedDiscriminant
- ReducedDiscriminant(O) : RngOrd -> RngIntElt
ReducedEtaTPairing
- ReducedEtaTPairing(P, Q, n, q) : PtEll, PtEll, RngIntElt, RngIntElt -> RngElt
ReducedFactorisation
- ReducedFactorisation(D) : DivSchElt -> SeqEnum
- ComputeReducedFactorisation(~D) : DivSchElt ->
ReducedForm
- ReducedForm(f) : QuadBinElt -> QuadBinElt, Mtrx
- Reduction(f) : QuadBinElt -> QuadBinElt, Mtrx
ReducedForms
- ReducedForms(Q) : QuadBin -> [ QuadBinElt ]
ReducedGramMatrix
- ReducedGramMatrix(S) : AlgQuatOrd[RngInt] -> AlgMatElt
- ReducedGramMatrix(S) : AlgQuatOrd[RngUPol] -> AlgMatElt, SeqEnum
ReducedIsomorphismsOfHyperellipticCurves
- ReducedIsomorphismsOfHyperellipticCurves(X1, X2) : CrvHyp , CrvHyp -> List
ReducedLegendreModel
- ReducedLegendreModel(C) : CrvCon -> CrvCon, MapIsoSch
ReducedLegendrePolynomial
- ReducedLegendrePolynomial(C) : CrvCon -> RngMPolElt, ModMatRngElt
ReducedMinimalWeierstrassModel
- ReducedMinimalWeierstrassModel(C) : CrvHyp -> CrvHyp, MapIsoSch
ReducedModel
- ReducedModel(C) : CrvHyp -> CrvHyp, MapIsoSch
ReducedOrbits
- ReducedOrbits(Q) : QuadBin -> [ {@ QuadBinElt @} ]
ReducedSubscheme
- ReducedSubscheme(X) : Sch -> Sch, MapSch
ReducedTatePairing
- ReducedTatePairing(P, Q, n) : PtEll, PtEll, RngIntElt -> RngElt
ReduceGeneratingSet
- GrpFP_ReduceGeneratingSet (Example H78E11)
ReduceGenerators
- ReduceGenerators(G) : GrpFP -> GrpFP, Map
- ReduceGenerators(~G) : GrpPerm ->
ReduceGroebnerBasis
- ReduceGroebnerBasis(S) : [ RngMPolElt ] -> [ RngMPolElt ]
ReduceHom
- ModRng_ReduceHom (Example H59E9)
ReducePlaneCurve
- ReduceTernaryForm(f) : MPolElt -> RngMPolElt, Mtrx
- ReducePlaneCurve(C) : Crv -> Crv, Mtrx
ReduceQuadrics
- ReduceQuadrics(seq) : [RngMPolElt] -> [RngMPolElt], AlgMatElt, AlgMatElt
ReduceTernaryForm
- ReduceTernaryForm(f) : MPolElt -> RngMPolElt, Mtrx
- ReducePlaneCurve(C) : Crv -> Crv, Mtrx
ReduceToTriangleVertices
- ReduceToTriangleVertices(G,z) : GrpPSL2, SpcHypElt -> SpcHypElt
ReduceVector
- ReduceVector(W, ~v) : ModTupRng, ModTupRngElt ->
- ReduceVector(W, v) : ModTupRng, ModTupRngElt -> ModTupRngElt
Reducible
- CompletelyReduciblePart (G) : GrpMat -> GrpMat, GrpMatElt
- FrobeniusActionOnReducibleFiber(L) : < Tup > -> AlgMatElt
- IsCompletelyReducible(G : parameters) : GrpMat -> BoolElt
reducible
- FldForms_reducible (Example H30E28)
reducing
- Reducing Vectors Relative to a Subspace (VECTOR SPACES)
reducing-vectors
- Reducing Vectors Relative to a Subspace (VECTOR SPACES)
Reduction
- ArtinSchreierReduction(u, P): FldFunGElt, PlcFunElt -> RngIntElt, FldFunElt
- BasisReduction(L) : Lat -> Lat, AlgMatElt
- BasisReduction(X) : ModMatRngElt -> ModMatRngElt, AlgMatElt, RngIntElt
- CompositionTreeReductionInfo(G, t) : Grp, RngIntElt -> MonStgElt,Grp, Grp
- DegreeReduction(G) : GrpPerm -> GrpPerm, Hom
- EllipticCurveSearch(N, Effort) : RngOrdIdl, RngIntElt -> SeqEnum
- GeneralisedRowReduction(ρ) : GrpLie, Map -> Map
- GeneralisedRowReduction(ρ) : Map -> Map
- Reduction(E, p) : CrvEll, RngOrdIdl -> CrvEll, Map
- Reduction(D) : DivCrvElt -> DivCrvElt, RngIntElt, DivCrvElt, FldFunFracSchElt
- Reduction(D) : DivFunElt -> DivFunElt, RngIntElt, DivFunElt, FldFunElt
- Reduction(D,p) : DivSchElt, Any -> DivSchElt
- Reduction(L) : LinearSys -> LinearSys
- Reduction(p) : Pt -> Pt
- Reduction(f) : QuadBinElt -> QuadBinElt, Mtrx
- Reduction(I, p) : RngMPol, Any -> RngMPol
- Reduction(I) : RngQuadFracIdl -> RngQuadFracIdl
- Reduction(X, p) : Sch, Any -> Sch
- ReductionOrbit(f) : QuadBinElt -> {@ QuadBinElt @}
- ReductionStep(f) : QuadBinElt -> QuadBinElt
- ReductionType(E, p) : CrvEll, RngIntElt -> MonStgElt
- RowReductionMap(ρ) : Map[GrpLie,GrpMat] -> UserProgram
- WhiteheadReduction(F, Q) : GrpFP, SeqEnum -> BoolElt, SeqEnum, GrpAutoElt
- a mod P : FldArithElt, OMIdl -> FldArithElt
- a mod P : FldArithElt, OMIdl -> FldArithElt
- Set_Reduction (Example H10E14)
reduction
- Aschbacher Reduction (MATRIX GROUPS OVER FINITE FIELDS)
- Recursion, Reduction, and Iteration (SEQUENCES)
- Reduction (SEQUENCES)
- Reduction (SETS)
- Reduction and Iteration (SETS)
- Reduction of Matrices and Lattices (LATTICES)
- Reduction of varphi-modules and Galois Representations (MOD P GALOIS REPRESENTATIONS)
- The Normal Form for Words (COXETER GROUPS)

V2.28, 13 July 2023

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