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 |