49 ASSERT( flag,
"illegal level" );
85 ASSERT(
name !=
'@',
"illegal variable name" );
87 for (
i = 0;
i < n;
i++ )
106 for (
i = 0;
i < n;
i++ )
108 for (
i = n;
i <
l;
i++ )
144 os <<
dn <<
"_" <<
l;
145 else if (
vn[
l] ==
'@' )
146 os <<
dn <<
"_" <<
l;
182 for (
i = 0;
i < n;
i++ )
191 for (
i = 0;
i < n;
i++ )
#define ASSERT(expression, message)
Interface to generate InternalCF's over various domains from intrinsic types or mpz_t's.
Iterators for CanonicalForm's.
class to iterate through CanonicalForm's
InternalCF * copyObject()
factory's class for polynomials
factory's class for variables
void setmipo(InternalPoly *p)
ext_entry(InternalPoly *mipoly, bool reduce)
ext_entry & operator=(const ext_entry &e)
ext_entry(const ext_entry &e)
const Variable & v
< [in] a sqrfree bivariate poly
Factory's internal polynomials.
int name
New type name for int.
void setReduce(const Variable &alpha, bool reduce)
static CanonicalForm conv2mipo(const CanonicalForm &mipo, const Variable &alpha)
bool getReduce(const Variable &alpha)
void prune1(const Variable &alpha)
InternalPoly * getInternalMipo(const Variable &alpha)
STATIC_VAR ext_entry * algextensions
void prune(Variable &alpha)
CanonicalForm getMipo(const Variable &alpha, const Variable &x)
STATIC_VAR char * var_names_ext
OSTREAM & operator<<(OSTREAM &os, const Variable &v)
STATIC_VAR char default_name_ext
STATIC_VAR char default_name
void setMipo(const Variable &alpha, const CanonicalForm &mipo)
STATIC_VAR char * var_names
Variable rootOf(const CanonicalForm &mipo, char name)
returns a symbolic root of polynomial with name name Use it to define algebraic variables
bool hasMipo(const Variable &alpha)