Documentation

record
- Creating a Record (RECORDS)
- RECORDS
record-format
- RECORDS
RecordAccess
- Rec_RecordAccess (Example H16E3)
RecordFormat
- Rec_RecordFormat (Example H16E1)
Rectify
- Rectify(~t) : Tbl ->
- JeuDeTaquin(~t) : Tbl ->
Recursion
- Func_Recursion (Example H2E1)
recursion
- Recursion (SEQUENCES)
- Recursion and Mutual Recursion (MAGMA SEMANTICS)
- Recursion and the Profiler (THE MAGMA PROFILER)
- Recursion, Reduction, and Iteration (SEQUENCES)
recursion-mutual
- Recursion and Mutual Recursion (MAGMA SEMANTICS)
recursion-profiler
- Recursion and the Profiler (THE MAGMA PROFILER)
recursion-reduction-iteration
- Recursion, Reduction, and Iteration (SEQUENCES)
Recursive
- SocleRecursive(M) : ModRng -> ModRng
Red
- MinRedBinaryForm(f) : RngMPolElt -> RngMPolElt, AlgMatElt, RngIntElt
- MinRedBinaryForm(f) : RngUPolElt -> RngUPolElt, AlgMatElt, RngIntElt
- MinRedTernaryForm(F) : RngMPolElt -> RngMPolElt, AlgMatElt, FldRatElt
- RedRelatorsForFreeProduct(groupList, freeFacs) : List, RngIntElt ->GrpFP, SeqEnum, SeqEnum, Map, SeqEnum
red
- Minimization and Reduction of Binary Forms (HYPERELLIPTIC CURVES)
- Operations for Semisimple and Reductive Lie Algebras (LIE ALGEBRAS)
- Reduction Mod p (SCHEMES)
- The Relators red (AUTOMATIC AND HYPERBOLIC GROUPS)
red-mod-p
- Reduction Mod p (SCHEMES)
red-oper
- Operations for Semisimple and Reductive Lie Algebras (LIE ALGEBRAS)
redirecting
- Redirecting Output (INPUT AND OUTPUT)
redirecting-output
- Redirecting Output (INPUT AND OUTPUT)
redisomor
- Reduced Automorphism Group and Reduced Isomorphism Testing (HYPERELLIPTIC CURVES)
redisomor-check
- Reduced Automorphism Group and Reduced Isomorphism Testing (HYPERELLIPTIC CURVES)
Redo
- CanRedoEnumeration(P) : GrpFPCosetEnumProc -> BoolElt
- RedoEnumeration(~P: parameters) : GrpFPCosetEnumProc ->
RedoEnumeration
- RedoEnumeration(~P: parameters) : GrpFPCosetEnumProc ->
RedRelatorsForFreeProduct
- RedRelatorsForFreeProduct(groupList, freeFacs) : List, RngIntElt ->GrpFP, SeqEnum, SeqEnum, Map, SeqEnum
Reduce
- GaussReduceGram(F) : ModMatRngElt -> ModMatRngElt, AlgMatElt
- GaussReduce(X) : ModMatRngElt -> ModMatRngElt, AlgMatElt
- MinRedTernaryForm(F) : RngMPolElt -> RngMPolElt, AlgMatElt, FldRatElt
- MinimizeReduce(S) : SrfDelPezzo -> SrfDelPezzo, Mtrx
- MinimizeReduceCubicSurface(f) : MPolElt -> RngMPolElt, Mtrx
- MinimizeReduceDeg4delPezzo(f) : SeqEnum -> SeqEnum, Mtrx
- PairReduce(L) : Lat -> Lat, AlgMatElt
- PairReduce(X) : ModMatRngElt -> ModMatRngElt, AlgMatElt
- PairReduceGram(F) : ModMatRngElt -> ModMatRngElt, AlgMatElt, RngIntElt
- QuarticReduce(q) : RngUPolElt -> RngUPolElt, AlgMatElt
- Reduce(model) : ModelG1 -> ModelG1, TransG1
- Reduce(H) : ModMatRng -> ModMatRng, Map
- Reduce(O) : RngFunOrd -> RngFunOrd
- Reduce(S) : [ AlgFrElt ] -> [ AlgFrElt ]
- Reduce(S) : [ RngMPolElt ] -> [ RngMPolElt ]
- ReduceCharacters(I, C) : [ AlgChtrElt ], [ AlgChtrElt ] -> [ AlgChtrElt ], [ AlgChtrElt ]
- ReduceCluster(X) : SeqEnum -> SeqEnum, Mtrx, Mtrx
- ReduceCubicSurface(f) : RngMPolElt -> RngMPolElt, Mtrx
- ReduceGenerators(G) : GrpFP -> GrpFP, Map
- ReduceGenerators(~G) : GrpPerm ->
- ReduceGroebnerBasis(S) : [ RngMPolElt ] -> [ RngMPolElt ]
- ReducePlaneCurve(C) : Crv -> Crv, Mtrx
- ReduceQuadrics(seq) : [RngMPolElt] -> [RngMPolElt], AlgMatElt, AlgMatElt
- ReduceToTriangleVertices(G,z) : GrpPSL2, SpcHypElt -> SpcHypElt
- ReduceVector(W, ~v) : ModTupRng, ModTupRngElt ->
- ReduceVector(W, v) : ModTupRng, ModTupRngElt -> ModTupRngElt
- ShimuraReduceUnit(delta, gammagens, G, D) : AlgAssVOrdElt, SeqEnum[AlgAssVOrdElt], GrpPSL2, SpcHyd -> SeqEnum
- ModRng_Reduce (Example H59E8)
reduce
- Pair Reduction (LATTICES)
- The Reduced Form of a Matrix Module (FREE MODULES)
ReduceCharacters
- ReduceCharacters(I, C) : [ AlgChtrElt ], [ AlgChtrElt ] -> [ AlgChtrElt ], [ AlgChtrElt ]
ReduceCluster
- ReduceCluster(X) : SeqEnum -> SeqEnum, Mtrx, Mtrx
ReduceCubicSurface
- ReduceCubicSurface(f) : RngMPolElt -> RngMPolElt, Mtrx
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

V2.28, 13 July 2023

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