#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.
Definition at line 154 of file variable.cc.
158 result +=
i.coeff() *
power( alpha,
i.exp() );
class to iterate through CanonicalForm's
Definition at line 254 of file variable.cc.
static char * var_names_ext
char getDefaultExtName |
( |
| ) |
|
Definition at line 249 of file variable.cc.
static char default_name_ext
char getDefaultVarName |
( |
| ) |
|
Definition at line 201 of file variable.cc.
static ext_entry * algextensions
#define ASSERT(expression, message)
Definition at line 207 of file variable.cc.
InternalCF * copyObject()
static ext_entry * algextensions
#define ASSERT(expression, message)
Definition at line 213 of file variable.cc.
InternalCF * copyObject()
static ext_entry * algextensions
#define ASSERT(expression, message)
Definition at line 232 of file variable.cc.
static ext_entry * algextensions
#define ASSERT(expression, message)
Definition at line 226 of file variable.cc.
bool getReduce(const Variable &alpha)
static ext_entry * algextensions
#define ASSERT(expression, message)
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;
static char * var_names_ext
static char default_name_ext
Definition at line 261 of file variable.cc.
265 if (-alpha.
level() == 1)
274 char * newvarnames =
new char [-alpha.
level() + 1];
275 for ( i = 0; i < -alpha.
level(); i++ )
277 newvarnames[-alpha.
level()] = 0;
281 for ( i = 0; i < -alpha.
level(); i++ )
static char * var_names_ext
factory's class for variables
static ext_entry * algextensions
#define ASSERT(expression, message)
Definition at line 288 of file variable.cc.
293 char * newvarnames =
new char [-alpha.
level() + 2];
294 for ( i = 0; i <= -alpha.
level(); i++ )
296 newvarnames[-alpha.
level()+1] = 0;
300 for ( i = 0; i <= -alpha.
level(); i++ )
static char * var_names_ext
static ext_entry * algextensions
#define ASSERT(expression, message)
Definition at line 306 of file variable.cc.
void setReduce(const Variable &alpha, bool reduce)
factory's class for variables
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++ )
static char * var_names_ext
factory's class for variables
factory's class for polynomials
static CanonicalForm conv2mipo(const CanonicalForm &mipo, const Variable &alpha)
char name(const Variable &v)
static ext_entry * algextensions
#define ASSERT(expression, message)
Definition at line 219 of file variable.cc.
factory's class for polynomials
static CanonicalForm conv2mipo(const CanonicalForm &mipo, const Variable &alpha)
static ext_entry * algextensions
#define ASSERT(expression, message)
Definition at line 238 of file variable.cc.
static ext_entry * algextensions
#define ASSERT(expression, message)
char default_name_ext = 'a' |
|
static |