16# define OSTREAM std::ostream
17# elif defined(HAVE_IOSTREAM_H)
19# define OSTREAM ostream
49 int level()
const {
return _level; }
bool operator!=(const Rational &a, const Rational &b)
bool operator<(const Rational &a, const Rational &b)
bool operator==(const Rational &a, const Rational &b)
bool operator>(const Rational &a, const Rational &b)
bool operator<=(const Rational &a, const Rational &b)
bool operator>=(const Rational &a, const Rational &b)
factory's class for polynomials
factory's class for variables
Variable(const Variable &v)
friend void swap_levels()
static Variable highest()
const Variable & v
< [in] a sqrfree bivariate poly
ostream & operator<<(ostream &s, const spectrum &spec)
int name
New type name for int.
Variable rootOf(const CanonicalForm &mipo, char name)
returns a symbolic root of polynomial with name name Use it to define algebraic variables
void setReduce(const Variable &alpha, bool reduce)
bool getReduce(const Variable &alpha)
int level(const Variable &v)
Variable FACTORY_PUBLIC rootOf(const CanonicalForm &, char name='@')
returns a symbolic root of polynomial with name name Use it to define algebraic variables
void prune1(const Variable &alpha)
InternalPoly * getInternalMipo(const Variable &alpha)
CanonicalForm getMipo(const Variable &alpha, const Variable &x)
void FACTORY_PUBLIC prune(Variable &alpha)
void setMipo(const Variable &alpha, const CanonicalForm &mipo)
bool hasMipo(const Variable &alpha)