Rat | Algorithm.FourierMotzkin.Core |
RawModel | Algorithm.Simplex2 |
rawModel | Algorithm.Simplex2 |
realPart | Data.Delta |
realRoots | Data.AlgebraicNumber.Real |
realRootsEx | Data.AlgebraicNumber.Real |
recip | Data.Sign |
reduce | Data.Polynomial |
reduceGBasis | Data.Polynomial.GroebnerBasis |
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 |