#include "config.h"
#include <string.h>
#include "cf_assert.h"
#include "cf_defs.h"
#include "variable.h"
#include "canonicalform.h"
#include "cf_factory.h"
#include "int_poly.h"
#include "cf_iter.h"
Go to the source code of this file.
◆ conv2mipo()
Definition at line 154 of file variable.cc.
class to iterate through CanonicalForm's
◆ ExtensionLevel()
Definition at line 254 of file variable.cc.
static char * var_names_ext
◆ getDefaultExtName()
char getDefaultExtName |
( |
| ) |
|
Definition at line 249 of file variable.cc.
static char default_name_ext
◆ getDefaultVarName()
char getDefaultVarName |
( |
| ) |
|
◆ getInternalMipo()
Definition at line 201 of file variable.cc.
#define ASSERT(expression, message)
static ext_entry * algextensions
◆ getMipo() [1/2]
◆ getMipo() [2/2]
◆ getReduce()
◆ hasMipo()
Definition at line 226 of file variable.cc.
bool getReduce(const Variable &alpha)
◆ operator<<()
Definition at line 133 of file variable.cc.
143 if ( (vn == 0) || ((int)strlen( vn ) <=
l) )
144 os << dn <<
"_" <<
l;
145 else if ( vn[
l] ==
'@' )
146 os << dn <<
"_" <<
l;
const Variable & v
< [in] a sqrfree bivariate poly
◆ prune()
Definition at line 261 of file variable.cc.
275 char * newvarnames =
new char [-
alpha.
level() + 1];
factory's class for variables
◆ prune1()
◆ Reduce()
Definition at line 307 of file variable.cc.
void setReduce(const Variable &alpha, bool reduce)
◆ rootOf()
returns a symbolic root of polynomial with name name Use it to define algebraic variables
Use it to define algebraic variables
- Note
- : algebraic variables have a level < 0
-
: algebraic variables have a level < 0
Definition at line 162 of file variable.cc.
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++ )
factory's class for polynomials
char name(const Variable &v)
static CanonicalForm conv2mipo(const CanonicalForm &mipo, const Variable &alpha)
◆ setMipo()
◆ setReduce()
◆ algextensions
◆ default_name
◆ default_name_ext
char default_name_ext = 'a' |
|
static |
◆ var_names
◆ var_names_ext