range | Numeric.Order.LocallyFinite |
rangeSize | Numeric.Order.LocallyFinite |
Ratio | Numeric.Field.Fraction |
realPart | Numeric.Algebra.Complex |
recip | Numeric.Algebra.Division, Numeric.Algebra |
recipriocal | Numeric.Algebra.Division, Numeric.Algebra |
recipUnit | Numeric.Decidable.Units |
recipUnitIntegral | Numeric.Decidable.Units |
recipUnitWhole | Numeric.Decidable.Units |
Rect | |
1 (Type/Class) | Numeric.Band.Rectangular |
2 (Data Constructor) | Numeric.Band.Rectangular |
reduceFraction | Numeric.Domain.GCD |
rem | Numeric.Domain.Euclidean |
reverse | Numeric.Coalgebra.Geometric |
Rig | Numeric.Rig.Class, Numeric.Algebra |
RightModule | Numeric.Algebra.Class, Numeric.Module.Class, Numeric.Algebra |
Ring | Numeric.Ring.Class, Numeric.Algebra |
Rng | Numeric.Rng.Class, Numeric.Algebra |
RngRing | |
1 (Type/Class) | Numeric.Ring.Rng |
2 (Data Constructor) | Numeric.Ring.Rng |
rngRingHom | Numeric.Ring.Rng |
runBasisCoblade | Numeric.Coalgebra.Geometric |
runExp | Numeric.Exp |
runLog | Numeric.Log |
runOpposite | Numeric.Ring.Opposite |
runZeroRng | Numeric.Rng.Zero |