Documentation

rewrite-system
- GROUPS DEFINED BY REWRITE SYSTEMS
- MONOIDS GIVEN BY REWRITE SYSTEMS
Rewrite2
- GrpFPInt_Rewrite2 (Example H77E21)
- GrpFP_Rewrite2 (Example H78E42)
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 ]
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 H134E12)
richelot_isogeny
- CrvHyp_richelot_isogeny (Example H134E11)
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 H124E11)
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 H124E1)
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)
riemann-roch
- Riemann--Roch Spaces (ALGEBRAIC CURVES)
riemann-surfaces
- RIEMANN SURFACES
RiemannRochBasis
- RiemannRochBasis(X, I) : Sch, RngMPol -> SeqEnum, RngMPolElt, ShfCoh
- DivisorToSheaf(X, I) : Sch, RngMPol -> ShfCoh
- RiemannRochBasis(D) : DivSchElt -> SeqEnum
- RiemannRochBasis(D) : DivTorElt -> [RngElt]
RiemannRochCoordinates
- RiemannRochCoordinates(f,D) : Any, DivSchElt -> BoolElt, SeqEnum
RiemannRochDimension
- RiemannRochDimension(D) : DivTorElt -> RngIntElt
RiemannRochPolytope
- RiemannRochPolytope(D) : DivTorElt -> TorPol
RiemannRochSpace
- RiemannRochSpace(D) : DivSchElt -> ModTupFld, Map
- RiemannRochBasis(D) : DivSchElt -> SeqEnum
- RiemannRochSpace(D) : DivCrvElt -> ModFld,Map
- RiemannRochSpace(D) : DivFunElt -> ModFld, Map

V2.28, 13 July 2023

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