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 |