| carl
    25.04
    Computer ARithmetic Library | 


Go to the source code of this file.
| Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
| carl::ran | |
| carl::ran::interval | |
| Functions | |
| template<typename Number , typename Coeff > | |
| std::optional< UnivariatePolynomial< Number > > | carl::ran::interval::substitute_rans_into_polynomial (const UnivariatePolynomial< Coeff > &p, const OrderedAssignment< IntRepRealAlgebraicNumber< Number >> &m, bool use_lazard=false) |