- RecognizeClassical
- RecognizeLargeRee
- RecognizeRee
- RecognizeSL
- RecognizeSL(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecogniseSL(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecognizeSL2
- RecognizeSL2-1
- RecognizeSp4
- RecognizeSp4(G, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
- RecogniseSp4(G, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map, Map, Map, SeqEnum, SeqEnum
- RecognizeSpOdd
- RecognizeSpOdd(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecogniseSpOdd(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecognizeSU3
- RecognizeSU3(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecogniseSU3(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecognizeSU4
- RecognizeSU4(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecogniseSU4(G, d, q) : Grp, RngIntElt, RngIntElt -> BoolElt, Map, Map
- RecognizeSz
- Reconstruct
- reconstruct
- reconstruct-sequence
- Reconstruction
- reconstruction
- reconstruction-ex
- ReconstructionEnvironment
- ReconstructLatticeBasis
- Record
- record
- record-format
- RecordAccess
- RecordFormat
- Rectify
- Recursion
- recursion
- recursion-mutual
- recursion-profiler
- recursion-reduction-iteration
- Recursive
- 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
- red-mod-p
- red-oper
- redirecting
- redirecting-output
- redisomor
- redisomor-check
- Redo
- RedoEnumeration
- RedRelatorsForFreeProduct
- 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 H60E8)
V2.29, 21 October 2025