Index - R
| R | |
| 1 (Type/Class) | Complex |
| 2 (Data Constructor) | Complex |
| ranges | Testing |
| Real | Complex |
| realPart | Ring |
| RealSubring | Ring |
| reason | Testing |
| recip | Field |
| recip' | Complex |
| reflectNat | TypeLevelNat |
| reflectPositiveNat | TypeLevelNat |
| ReifyIrreduciblePoly | SimpleExtension |
| ReifyNat | TypeLevelNat |
| reifyNat | TypeLevelNat |
| ReifyPoly | SimpleExtension |
| replay | Testing |
| resize | Testing |
| restart | IdealExtension |
| Result | Testing |
| Ring | Ring |
| RingMorphism | RingMorphism |
| roots | RootFinding |
| roots' | RootFinding |
| rootsOnRectangle | RootFinding |
| rootsOnSegment | RootFinding |
| roundDownToRecipN | NumericHelper |
| roundUp | NumericHelper |
| runIdeal | IdealExtension |
| runProc | Main |
| runR | Complex |