Documentation

Rewind
- Rewind(I) : IO ->
Rewrite
- ClassicalRewrite(G, gens, type, dim, q, g : parameters): Grp, SeqEnum, MonStgElt, RngIntElt, RngIntElt, GrpElt -> BoolElt, GrpElt
- ClassicalRewriteNatural(type, CB, g): MonStgElt, GrpMatElt, GrpMatElt-> BoolElt, GrpElt
- ExceptionalRewrite(type, rank, q, X, Xm, g): MonStgElt, RngIntElt, RngIntElt,SeqEnum, SeqEnum, GrpElt -> BoolElt, GrpElt
- LieTypeRewrite(t,r,q,X,Y,g) : MonStgElt,RngIntElt,RngIntElt,SeqEnum,SeqEnum,GrpMatElt -> BoolElt, GrpSLPElt
- PrepareRewrite(t,r,q,X,Y) : MonStgElt,RngIntElt,RngIntElt,SeqEnum,SeqEnum -> UserProgram, Map
- Rewrite(G, ~H : parameters) : GrpFP, GrpFP ->
- Rewrite(G, H : parameters) : GrpFP, GrpFP -> GrpFP, Map
- GrpFPInt_Rewrite (Example H79E20)
- GrpFP_Rewrite (Example H80E41)
rewrite
- GROUPS DEFINED BY REWRITE SYSTEMS
- MONOIDS GIVEN BY REWRITE SYSTEMS
rewrite-system
- GROUPS DEFINED BY REWRITE SYSTEMS
- MONOIDS GIVEN BY REWRITE SYSTEMS
Rewrite2
- GrpFPInt_Rewrite2 (Example H79E21)
- GrpFP_Rewrite2 (Example H80E42)
rewrite_ff
- Rewriting Over a Smaller Degree Finite Field (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
rewrite_nf
- Rewriting Over a Smaller Degree Number Field (MODULES OVER AN ALGEBRA AND GROUP REPRESENTATIONS)
Reynolds
- ReynoldsOperator(f, G) : RngMPolElt, GrpMat -> RngMPolElt
ReynoldsOperator
- ReynoldsOperator(f, G) : RngMPolElt, GrpMat -> RngMPolElt
RGenerators
- MinimalRGenerators(C) : TorCon -> SeqEnum
- RGenerators(C) : TorCon -> SeqEnum
Rho
- DickmanRho(u) : FldReElt -> FldReElt
- PollardRho(n) : RngIntElt -> RngIntEltFact, [ RngIntElt ]
- Rho(G, k, j) : GrpMat, RngIntElt, RngIntElt -> ModRed
- SpinorNormRho(d, g, Q) : RngIntElt, GrpMatElt, AlgMatElt -> RngIntElt
RHS
- RHS(r) : Rel -> GrpAbElt
- r[2] : GrpAbRel, RngIntElt -> GrpAbElt
- RHS(r) : Rel -> SgpFPElt
Richardson
- IsLittlewoodRichardson(t) : Tbl -> BoolElt
- LittlewoodRichardsonTensor(p, q) : ModTupRngElt, ModTupRngElt -> SeqEnum, SeqEnum[RngIntElt]
Richelot
- DoubleRichelotIsogenies(C) : CrvHyp -> SeqEnum
- DoubleRichelotIsogenies(J) : JacHyp -> SeqEnum
- RichelotIsogenousSurface(J, kernel) : JacHyp, RngUPolElt[RngUPolRes] -> .
- RichelotIsogenousSurfaces(J) : JacHyp -> List, List
richelot
- Richelot Isogenies (HYPERELLIPTIC CURVES)
richelot_double_isogeny
- CrvHyp_richelot_double_isogeny (Example H137E12)
richelot_isogeny
- CrvHyp_richelot_isogeny (Example H137E11)
RichelotIsogenousSurface
- RichelotIsogenousSurface(J, kernel) : JacHyp, RngUPolElt[RngUPolRes] -> .
RichelotIsogenousSurfaces
- RichelotIsogenousSurfaces(J) : JacHyp -> List, List
rideal
- lideal<S | X> : AlgQuatOrd, [AlgQuatElt] -> AlgQuatOrdIdl
- RightIdeal(S, X) : AlgQuatOrd, [AlgQuatElt] -> AlgQuatOrdIdl
- rideal<S | X> : AlgQuatOrd, [AlgQuatElt] -> AlgQuatOrd
- ideal<S | X> : AlgQuatOrd, [AlgQuatElt] -> AlgQuatOrdIdl
- LeftIdeal(S, X) : AlgQuatOrd, [AlgQuatElt] -> AlgQuatOrdIdl
- ideal<A | L> : AlgFr, List -> AlgFr
- lideal<O | M> : AlgAssVOrd, PMat -> AlgAssVOrdIdl
- lideal<O | E> : AlgAssVOrd, [AlgAssVOrdElt] -> AlgAssVOrdIdl
- rideal< cat : A | L> : Cat, AlgGrp, List -> AlgGrp, Map
- rideal< A | L > : AlgGen, List -> AlgGen, Map
- rideal<R | L> : AlgMat, List -> AlgMat
- rideal<G | L₁, ..., L_r> : SgpFP, SgpFPElt, ..., SgpFPElt -> SgpFPIdl
rie
- Access Functions (RIEMANN SURFACES)
- Creation Functions (RIEMANN SURFACES)
- Points (RIEMANN SURFACES)
- Riemann Surfaces over Number Fields (RIEMANN SURFACES)
- Superelliptic Riemann Surfaces (RIEMANN SURFACES)
rie-points
- RieSrf_rie-points (Example H127E11)
rie-srf-access
- Access Functions (RIEMANN SURFACES)
rie-srf-creation
- Creation Functions (RIEMANN SURFACES)
rie-srf-num-fld
- Riemann Surfaces over Number Fields (RIEMANN SURFACES)
rie-srf-point-creation
- Points (RIEMANN SURFACES)
rie-srf-sup
- Superelliptic Riemann Surfaces (RIEMANN SURFACES)
rie-srf-verbose
- RieSrf_rie-srf-verbose (Example H127E1)
Riemann
- RiemannRochBasis(X, I) : Sch, RngMPol -> SeqEnum, RngMPolElt, ShfCoh
- DivisorToSheaf(X, I) : Sch, RngMPol -> ShfCoh
- IneffectiveDivisorToSheaf(X, I, J) : Sch, RngMPol, RngMPol -> ShfCoh
- RiemannRochBasis(D) : DivSchElt -> SeqEnum
- RiemannRochBasis(D) : DivTorElt -> [RngElt]
- RiemannRochCoordinates(f,D) : Any, DivSchElt -> BoolElt, SeqEnum
- RiemannRochDimension(D) : DivTorElt -> RngIntElt
- RiemannRochPolytope(D) : DivTorElt -> TorPol
- RiemannRochSpace(D) : DivCrvElt -> ModFld,Map
- RiemannRochSpace(D) : DivFunElt -> ModFld, Map
- RiemannSurface(D) : DivRieSrfElt -> RieSrf
- RiemannSurface(P) : RieSrfPt -> RieSrf
- RiemannSurface(f) : RngMPolElt -> RieSrf
- RiemannSurface(f,sigma) : RngMPolElt, PlcNumElt -> RieSrf
- RiemannSurface(p,m) : RngUPolElt, RngIntElt -> RieSrf
- RiemannSurface(L,m) : SeqEnum[FldComElt], RngIntElt -> RieSrf
- RiemannZeta() : -> LSer
riemann
- Basic Invariants (RIEMANN SURFACES)
- Basis for Period Matrix (RIEMANN SURFACES)
- Fundamental Group (RIEMANN SURFACES)
- RIEMANN SURFACES
- Riemann--Roch Spaces (ALGEBRAIC CURVES)

V2.29, 21 October 2025

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