![]() |
My Project
|
#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.
Data Structures | |
class | ext_entry |
Functions | |
OSTREAM & | operator<< (OSTREAM &os, const Variable &v) |
static CanonicalForm | conv2mipo (const CanonicalForm &mipo, 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 | |
InternalPoly * | getInternalMipo (const Variable &alpha) |
CanonicalForm | getMipo (const Variable &alpha, const Variable &x) |
CanonicalForm | getMipo (const Variable &alpha) |
void | setMipo (const Variable &alpha, const CanonicalForm &mipo) |
bool | hasMipo (const Variable &alpha) |
bool | getReduce (const Variable &alpha) |
void | setReduce (const Variable &alpha, bool reduce) |
char | getDefaultVarName () |
char | getDefaultExtName () |
int | ExtensionLevel () |
void | prune (Variable &alpha) |
void | prune1 (const Variable &alpha) |
void | Reduce (bool on) |
Variables | |
STATIC_VAR ext_entry * | algextensions = 0 |
STATIC_VAR char * | var_names = 0 |
STATIC_VAR char * | var_names_ext = 0 |
STATIC_VAR char | default_name = 'v' |
STATIC_VAR char | default_name_ext = 'a' |
|
static |
Definition at line 154 of file variable.cc.
int ExtensionLevel | ( | ) |
Definition at line 254 of file variable.cc.
char getDefaultExtName | ( | ) |
Definition at line 249 of file variable.cc.
char getDefaultVarName | ( | ) |
Definition at line 244 of file variable.cc.
InternalPoly * getInternalMipo | ( | const Variable & | alpha | ) |
Definition at line 201 of file variable.cc.
CanonicalForm getMipo | ( | const Variable & | alpha | ) |
Definition at line 213 of file variable.cc.
CanonicalForm getMipo | ( | const Variable & | alpha, |
const Variable & | x | ||
) |
Definition at line 207 of file variable.cc.
Definition at line 232 of file variable.cc.
Definition at line 226 of file variable.cc.
Definition at line 133 of file variable.cc.
Definition at line 261 of file variable.cc.
Definition at line 291 of file variable.cc.
Definition at line 309 of file variable.cc.
Variable rootOf | ( | const CanonicalForm & | mipo, |
char | name = '@' |
||
) |
returns a symbolic root of polynomial with name name Use it to define algebraic variables
Use it to define algebraic variables
Definition at line 162 of file variable.cc.
void setMipo | ( | const Variable & | alpha, |
const CanonicalForm & | mipo | ||
) |
Definition at line 219 of file variable.cc.
Definition at line 238 of file variable.cc.
STATIC_VAR ext_entry* algextensions = 0 |
Definition at line 41 of file variable.cc.
STATIC_VAR char default_name = 'v' |
Definition at line 44 of file variable.cc.
STATIC_VAR char default_name_ext = 'a' |
Definition at line 45 of file variable.cc.
STATIC_VAR char* var_names = 0 |
Definition at line 42 of file variable.cc.
STATIC_VAR char* var_names_ext = 0 |
Definition at line 43 of file variable.cc.