Index - R
| Rat | Algorithm.FourierMotzkin.Core |
| RawModel | Algorithm.Simplex2 |
| rawModel | Algorithm.Simplex2 |
| realPart | Data.Delta |
| realRoots | Data.AlgebraicNumber.Real |
| realRootsEx | Data.AlgebraicNumber.Real |
| reduce | Data.Polynomial |
| reduceGBasis | Data.Polynomial.GBasis |
| Rel | |
| 1 (Type/Class) | Data.ArithRel, Data.FOL.Arith |
| 2 (Data Constructor) | Data.ArithRel, Data.FOL.Arith |
| rel | Data.ArithRel, Data.FOL.Arith |
| RelOp | |
| 1 (Type/Class) | Text.LPFile |
| 2 (Type/Class) | Data.ArithRel, Algorithm.Simplex2, Data.FOL.Arith |
| render | |
| 1 (Function) | Text.SDPFile |
| 2 (Function) | Text.GurobiSol |
| 3 (Function) | Text.LPFile |
| renderSparse | Text.SDPFile |
| RestartStrategy | SAT |
| revForM | Util |
| revlex | Data.Polynomial |
| revMapM | Util |
| revSequence | Util |
| rootAdd | Data.AlgebraicNumber.Root |
| rootIndex | Data.AlgebraicNumber.Real |
| rootMul | Data.AlgebraicNumber.Root |
| rootNthRoot | Data.AlgebraicNumber.Root |
| RootOf | Algorithm.CAD |
| rootRecip | Data.AlgebraicNumber.Root |
| rootScale | Data.AlgebraicNumber.Root |
| rootShift | Data.AlgebraicNumber.Root |
| rootSimpPoly | Data.AlgebraicNumber.Root |
| Row | Algorithm.Simplex |
| RowIndex | Algorithm.Simplex |