algebra-4.3.1: Constructive abstract algebra

Index - R

rangeNumeric.Order.LocallyFinite
rangeSizeNumeric.Order.LocallyFinite
RatioNumeric.Field.Fraction
realPartNumeric.Algebra.Complex
recipNumeric.Algebra.Division, Numeric.Algebra
recipriocalNumeric.Algebra.Division, Numeric.Algebra
recipUnitNumeric.Decidable.Units
recipUnitIntegralNumeric.Decidable.Units
recipUnitWholeNumeric.Decidable.Units
Rect 
1 (Type/Class)Numeric.Band.Rectangular
2 (Data Constructor)Numeric.Band.Rectangular
reduceFractionNumeric.Domain.GCD
remNumeric.Domain.Euclidean
reverseNumeric.Coalgebra.Geometric
RigNumeric.Rig.Class, Numeric.Algebra
RightModuleNumeric.Algebra.Class, Numeric.Module.Class, Numeric.Algebra
RingNumeric.Ring.Class, Numeric.Algebra
RngNumeric.Rng.Class, Numeric.Algebra
RngRing 
1 (Type/Class)Numeric.Ring.Rng
2 (Data Constructor)Numeric.Ring.Rng
rngRingHomNumeric.Ring.Rng
runBasisCobladeNumeric.Coalgebra.Geometric
runExpNumeric.Exp
runLogNumeric.Log
runOppositeNumeric.Ring.Opposite
runZeroRngNumeric.Rng.Zero