8 #ifndef INCL_VARIABLE_H 9 #define INCL_VARIABLE_H 16 # define OSTREAM std::ostream 17 # elif defined(HAVE_IOSTREAM_H) 18 # include <iostream.h> 19 # define OSTREAM ostream
friend bool operator==(const Variable &lhs, const Variable &rhs)
friend Variable rootOf(const CanonicalForm &, char name)
returns a symbolic root of polynomial with name name.
friend bool operator<(const Variable &lhs, const Variable &rhs)
friend bool operator<=(const Variable &lhs, const Variable &rhs)
factory's class for variables
friend OSTREAM & operator<<(OSTREAM &os, const Variable &v)
friend bool operator!=(const Variable &lhs, const Variable &rhs)
bool getReduce(const Variable &alpha)
static Variable highest()
void prune1(const Variable &alpha)
factory's class for polynomials
InternalPoly * getInternalMipo(const Variable &alpha)
bool hasMipo(const Variable &alpha)
Variable(const Variable &v)
void setReduce(const Variable &alpha, bool reduce)
const Variable & v
< [in] a sqrfree bivariate poly
friend bool operator>(const Variable &lhs, const Variable &rhs)
CanonicalForm getMipo(const Variable &alpha, const Variable &x)
Variable & operator=(const Variable &v)
friend void swap_levels()
friend bool operator>=(const Variable &lhs, const Variable &rhs)
void prune(Variable &alpha)
void setMipo(const Variable &alpha, const CanonicalForm &mipo)