carl  24.04
Computer ARithmetic Library
RootElimination.h File Reference
#include "Degree.h"
#include "Evaluation.h"
#include "../UnivariatePolynomial.h"
Include dependency graph for RootElimination.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.
 

Functions

template<typename Coeff >
void carl::eliminate_zero_root (UnivariatePolynomial< Coeff > &p)
 Reduces the given polynomial such that zero is not a root anymore. More...
 
template<typename Coeff >
void carl::eliminate_root (UnivariatePolynomial< Coeff > &p, const Coeff &root)
 Reduces the polynomial such that the given root is not a root anymore. More...