carl  24.04
Computer ARithmetic Library
internal.h File Reference
Include dependency graph for internal.h:
This graph shows which files directly or indirectly include this file:

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)