 |
My Project
debian-1:4.1.1-p2+ds-4build2
|
Go to the documentation of this file.
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)
CanonicalForm getMipo(const Variable &alpha, const Variable &x)
int level(const Variable &v)
friend bool operator!=(const Variable &lhs, const Variable &rhs)
Variable rootOf(const CanonicalForm &, char name='@')
returns a symbolic root of polynomial with name name Use it to define algebraic variables
void prune(Variable &alpha)
friend Variable rootOf(const CanonicalForm &, char name)
returns a symbolic root of polynomial with name name.
char name(const Variable &v)
friend bool operator<=(const Variable &lhs, const Variable &rhs)
static Variable highest()
void setMipo(const Variable &alpha, const CanonicalForm &mipo)
InternalPoly * getInternalMipo(const Variable &alpha)
factory's class for polynomials
bool hasMipo(const Variable &alpha)
Variable & operator=(const Variable &v)
friend OSTREAM & operator<<(OSTREAM &os, const Variable &v)
Variable(const Variable &v)
bool getReduce(const Variable &alpha)
friend bool operator>(const Variable &lhs, const Variable &rhs)
factory's class for variables
void setReduce(const Variable &alpha, bool reduce)
friend void swap_levels()
const Variable & v
< [in] a sqrfree bivariate poly
friend bool operator>=(const Variable &lhs, const Variable &rhs)
friend bool operator==(const Variable &lhs, const Variable &rhs)
void prune1(const Variable &alpha)