 |
My Project
UNKNOWN_GIT_VERSION
|
Go to the documentation of this file.
49 ASSERT( flag,
"illegal level" );
85 ASSERT(
name !=
'@',
"illegal variable name" );
86 char * newvarnames =
new char [n+2];
87 for (
i = 0;
i < n;
i++ )
89 newvarnames[n] =
name;
104 char * newvarnames =
new char [
l+2];
106 for (
i = 0;
i < n;
i++ )
108 for (
i = n;
i <
l;
i++ )
109 newvarnames[
i] =
'@';
110 newvarnames[
l] =
name;
111 newvarnames[
l+1] = 0;
143 if ( (vn == 0) || ((int)strlen( vn ) <=
l) )
144 os << dn <<
"_" <<
l;
145 else if ( vn[
l] ==
'@' )
146 os << dn <<
"_" <<
l;
181 char * newvarnames =
new char [n+2];
182 for (
i = 0;
i < n;
i++ )
184 newvarnames[n] =
name;
185 newvarnames[n+1] = 0;
191 for (
i = 0;
i < n;
i++ )
267 ASSERT (n+1 >= last_var,
"wrong variable");
277 char * newvarnames =
new char [last_var+1];
278 for (
i = 0;
i < last_var;
i++ )
280 newvarnames[last_var] = 0;
284 for (
i = 0;
i < last_var;
i++ )
296 char * newvarnames =
new char [-
alpha.
level() + 2];
ext_entry(InternalPoly *mipoly, bool reduce)
InternalPoly * getInternalMipo(const Variable &alpha)
void setMipo(const Variable &alpha, const CanonicalForm &mipo)
class to iterate through CanonicalForm's
void setmipo(InternalPoly *p)
void prune1(const Variable &alpha)
CanonicalForm getMipo(const Variable &alpha, const Variable &x)
InternalCF * copyObject()
#define ASSERT(expression, message)
factory's class for polynomials
void setReduce(const Variable &alpha, bool reduce)
ext_entry & operator=(const ext_entry &e)
ext_entry(const ext_entry &e)
static char * var_names_ext
static CanonicalForm conv2mipo(const CanonicalForm &mipo, const Variable &alpha)
factory's class for variables
char name(const Variable &v)
void prune(Variable &alpha)
static ext_entry * algextensions
const Variable & v
< [in] a sqrfree bivariate poly
OSTREAM & operator<<(OSTREAM &os, const Variable &v)
bool getReduce(const Variable &alpha)
Variable rootOf(const CanonicalForm &mipo, char name)
returns a symbolic root of polynomial with name name Use it to define algebraic variables
static char default_name_ext
bool hasMipo(const Variable &alpha)