- reduce
- ReduceCharacters
- ReduceCluster
- ReduceCubicSurface
- Reduced
- ReducedFactorisation(D) : DivSchElt -> SeqEnum
- ComputeReducedFactorisation(~D) : DivSchElt ->
- IsReduced(s) : GrphSpl -> BoolElt
- IsReduced(M) : ModMPol -> BoolElt
- IsReduced(p) : Pt -> BoolElt
- IsReduced(f) : QuadBinElt -> BoolElt
- IsReduced(R) : RootDtm -> BoolElt
- IsReduced(R) : RootStr -> BoolElt
- IsReduced(R) : RootSys -> BoolElt
- IsReduced(C) : Sch -> BoolElt
- IsReduced(X) : Sch -> BoolElt
- IsReducedIsomorphicHyperellipticCurves(X1, X2) : CrvHyp , CrvHyp -> BoolElt, List
- ReducedAteTPairing(Q, P, n, q) : PtEll, PtEll, RngIntElt, RngIntElt -> RngElt
- ReducedAutomorphismGroupOfHyperellipticCurve(X, Autos) : CrvHyp , List -> GrpPerm, Map
- ReducedAutomorphismGroupOfHyperellipticCurve(X) : CrvHyp -> GrpPerm, Map
- ReducedAutomorphismsOfHyperellipticCurve(X) : CrvHyp -> List
- 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 ]
- ReducedDiscriminant(O) : RngOrd -> RngIntElt
- ReducedEtaTPairing(P, Q, n, q) : PtEll, PtEll, RngIntElt, RngIntElt -> RngElt
- ReducedForms(Q) : QuadBin -> [ QuadBinElt ]
- ReducedGramMatrix(S) : AlgQuatOrd[RngInt] -> AlgMatElt
- ReducedGramMatrix(S) : AlgQuatOrd[RngUPol] -> AlgMatElt, SeqEnum
- ReducedIsomorphismsOfHyperellipticCurves(X1, X2) : CrvHyp , CrvHyp -> List
- ReducedLegendreModel(C) : CrvCon -> CrvCon, MapIsoSch
- ReducedLegendrePolynomial(C) : CrvCon -> RngMPolElt, ModMatRngElt
- ReducedMinimalWeierstrassModel(C) : CrvHyp -> CrvHyp, MapIsoSch
- ReducedModel(C) : CrvHyp -> CrvHyp, MapIsoSch
- ReducedOrbits(Q) : QuadBin -> [ {@ QuadBinElt @} ]
- ReducedSubscheme(X) : Sch -> Sch, MapSch
- ReducedTatePairing(P, Q, n) : PtEll, PtEll, RngIntElt -> RngElt
- Reduction(f) : QuadBinElt -> QuadBinElt, Mtrx
- SemiReducedBasis(D) : OMDiv -> SeqEnum
- reduced
- reduced-forms
- ReducedAteTPairing
- ReducedAutomorphismGroupOfHyperellipticCurve
- ReducedAutomorphismsOfHyperellipticCurve
- ReducedBasis
- ReducedDiscriminant
- ReducedEtaTPairing
- ReducedFactorisation
- ReducedForm
- ReducedForms
- ReducedGramMatrix
- ReducedIsomorphismsOfHyperellipticCurves
- ReducedLegendreModel
- ReducedLegendrePolynomial
- ReducedMinimalWeierstrassModel
- ReducedModel
- ReducedOrbits
- ReducedSubscheme
- ReducedTatePairing
- ReduceGeneratingSet
- ReduceGenerators
- ReduceGroebnerBasis
- ReduceHom
- ReducePlaneCurve
V2.29, 21 October 2025