#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()
◆ ExtensionLevel()
◆ getDefaultExtName()
char getDefaultExtName |
( |
| ) |
|
◆ getDefaultVarName()
char getDefaultVarName |
( |
| ) |
|
◆ getInternalMipo()
◆ getMipo() [1/2]
◆ getMipo() [2/2]
◆ getReduce()
◆ hasMipo()
◆ 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;
◆ prune()
Definition at line 261 of file variable.cc.
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++ )
◆ prune1()
◆ 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++ )
◆ setMipo()
◆ setReduce()
◆ algextensions
◆ default_name
◆ default_name_ext
char default_name_ext = 'a' |
|
static |
◆ var_names
◆ var_names_ext