carl::IntRepRealAlgebraicNumber< Number >::content Struct Reference

Public Member Functions
	content (const Interval< Number > &i)
	content (UnivariatePolynomial< Number > &&p, const Interval< Number > &i)
	content (const UnivariatePolynomial< Number > &p, const Interval< Number > &i)
void	simplify_to_point ()

Data Fields
std::optional< UnivariatePolynomial< Number > >	polynomial
Interval< Number >	interval
Sign	lower_sign
	Sign of polynomial at interval.lower() More...

Detailed Description

template<typename Number>
struct carl::IntRepRealAlgebraicNumber< Number >::content

Definition at line 68 of file Ran.h.

Constructor & Destructor Documentation

content() [1/3]

template<typename Number >

carl::IntRepRealAlgebraicNumber< Number >::content::content ( const Interval< Number > &  i )

inline

Definition at line 74 of file Ran.h.

content() [2/3]

template<typename Number >

carl::IntRepRealAlgebraicNumber< Number >::content::content ( UnivariatePolynomial< Number > &&  p, const Interval< Number > &  i  )

inline

Definition at line 76 of file Ran.h.

content() [3/3]

template<typename Number >

carl::IntRepRealAlgebraicNumber< Number >::content::content ( const UnivariatePolynomial< Number > &  p, const Interval< Number > &  i  )

inline

Definition at line 78 of file Ran.h.

Member Function Documentation

simplify_to_point()

template<typename Number >

void carl::IntRepRealAlgebraicNumber< Number >::content::simplify_to_point ( )

inline

Definition at line 80 of file Ran.h.

Field Documentation

interval

template<typename Number >

Interval<Number> carl::IntRepRealAlgebraicNumber< Number >::content::interval

Definition at line 70 of file Ran.h.

lower_sign

template<typename Number >

Sign carl::IntRepRealAlgebraicNumber< Number >::content::lower_sign

Sign of polynomial at interval.lower()

Definition at line 72 of file Ran.h.

polynomial

template<typename Number >

std::optional<UnivariatePolynomial<Number> > carl::IntRepRealAlgebraicNumber< Number >::content::polynomial

Definition at line 69 of file Ran.h.

---

The documentation for this struct was generated from the following file:

• carl-arith/ran/interval/Ran.h