Index - R
| reallyUnsafeNaturalToOrd | Algebra.Internal | 
| recipUnitDefault | Algebra.Ring.Polynomial.Class | 
| Refl | Algebra.Internal | 
| reifyIdealQuotient | Algebra.Ring.Euclidean.Quotient | 
| reifyPrimeField | Algebra.Field.Prime | 
| reifyQuotient | Algebra.Ring.Euclidean.Quotient | 
| repeatedSquare | Algebra.Arithmetic | 
| representative | Algebra.Ring.Euclidean.Quotient | 
| Revlex | |
| 1 (Type/Class) | Algebra.Ring.Polynomial.Monomial | 
| 2 (Data Constructor) | Algebra.Ring.Polynomial.Monomial | 
| revlex | Algebra.Ring.Polynomial.Monomial | 
| runScalar | Algebra.Scalar | 
| runViaElements | Algebra.Field.Finite |