My Project  UNKNOWN_GIT_VERSION
Data Structures | Functions | Variables
variable.cc File Reference
#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

OSTREAMoperator<< (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 More...
 
InternalPolygetInternalMipo (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 ext_entryalgextensions = 0
 
static char * var_names = 0
 
static char * var_names_ext = 0
 
static char default_name = 'v'
 
static char default_name_ext = 'a'
 

Function Documentation

◆ conv2mipo()

static CanonicalForm conv2mipo ( const CanonicalForm mipo,
const Variable alpha 
)
static

Definition at line 154 of file variable.cc.

155 {
157  for ( CFIterator i = mipo; i.hasTerms(); i++ )
158  result += i.coeff() * power( alpha, i.exp() );
159  return result;
160 }

◆ ExtensionLevel()

int ExtensionLevel ( )

Definition at line 254 of file variable.cc.

255 {
256  if( var_names_ext == 0)
257  return 0;
258  return strlen( var_names_ext )-1;
259 }

◆ getDefaultExtName()

char getDefaultExtName ( )

Definition at line 249 of file variable.cc.

250 {
251  return default_name_ext;
252 }

◆ getDefaultVarName()

char getDefaultVarName ( )

Definition at line 244 of file variable.cc.

245 {
246  return default_name;
247 }

◆ getInternalMipo()

InternalPoly* getInternalMipo ( const Variable alpha)

Definition at line 201 of file variable.cc.

202 {
203  ASSERT( alpha.level() < 0 && alpha.level() != LEVELBASE, "illegal extension" );
204  return algextensions[-alpha.level()].mipo();
205 }

◆ getMipo() [1/2]

CanonicalForm getMipo ( const Variable alpha)

Definition at line 213 of file variable.cc.

214 {
215  ASSERT( alpha.level() < 0 && alpha.level() != LEVELBASE, "illegal extension" );
217 }

◆ getMipo() [2/2]

CanonicalForm getMipo ( const Variable alpha,
const Variable x 
)

Definition at line 207 of file variable.cc.

208 {
209  ASSERT( alpha.level() < 0 && alpha.level() != LEVELBASE, "illegal extension" );
211 }

◆ getReduce()

bool getReduce ( const Variable alpha)

Definition at line 232 of file variable.cc.

233 {
234  ASSERT( alpha.level() < 0 && alpha.level() != LEVELBASE, "illegal extension" );
235  return algextensions[-alpha.level()].reduce();
236 }

◆ hasMipo()

bool hasMipo ( const Variable alpha)

Definition at line 226 of file variable.cc.

227 {
228  ASSERT( alpha.level() < 0, "illegal extension" );
229  return (alpha.level() != LEVELBASE && (algextensions!=NULL) && getReduce(alpha) );
230 }

◆ operator<<()

OSTREAM& operator<< ( OSTREAM os,
const Variable v 
)

Definition at line 133 of file variable.cc.

134 {
135  if ( v._level == LEVELBASE )
136  os << "1";
137  else {
138  char * vn = ( v._level > 0 ) ? var_names : var_names_ext;
139  char dn = ( v._level > 0 ) ? default_name : default_name_ext;
140  int l = v._level;
141 
142  if ( l < 0 ) l = -l;
143  if ( (vn == 0) || ((int)strlen( vn ) <= l) )
144  os << dn << "_" << l;
145  else if ( vn[l] == '@' )
146  os << dn << "_" << l;
147  else
148  os << vn[l];
149  }
150  return os;
151 }

◆ prune()

void prune ( Variable alpha)

Definition at line 261 of file variable.cc.

262 {
263  if (alpha.level()==LEVELBASE) return;
264  int last_var=-alpha.level();
265  if ((last_var <= 0)||(var_names_ext==NULL)) return;
266  int i, n = strlen( var_names_ext );
267  ASSERT (n+1 >= last_var, "wrong variable");
268  if (last_var == 1)
269  {
270  delete [] var_names_ext;
271  delete [] algextensions;
272  var_names_ext= 0;
273  algextensions= 0;
274  alpha= Variable();
275  return;
276  }
277  char * newvarnames = new char [last_var+1];
278  for ( i = 0; i < last_var; i++ )
279  newvarnames[i] = var_names_ext[i];
280  newvarnames[last_var] = 0;
281  delete [] var_names_ext;
282  var_names_ext = newvarnames;
283  ext_entry * newalgext = new ext_entry [last_var];
284  for ( i = 0; i < last_var; i++ )
285  newalgext[i] = algextensions[i];
286  delete [] algextensions;
287  algextensions = newalgext;
288  alpha= Variable();
289 }

◆ prune1()

void prune1 ( const Variable alpha)

Definition at line 291 of file variable.cc.

292 {
293  int i, n = strlen( var_names_ext );
294  ASSERT (n+1 >= -alpha.level(), "wrong variable");
295 
296  char * newvarnames = new char [-alpha.level() + 2];
297  for ( i = 0; i <= -alpha.level(); i++ )
298  newvarnames[i] = var_names_ext[i];
299  newvarnames[-alpha.level()+1] = 0;
300  delete [] var_names_ext;
301  var_names_ext = newvarnames;
302  ext_entry * newalgext = new ext_entry [-alpha.level()+1];
303  for ( i = 0; i <= -alpha.level(); i++ )
304  newalgext[i] = algextensions[i];
305  delete [] algextensions;
306  algextensions = newalgext;
307 }

◆ Reduce()

void Reduce ( bool  on)

Definition at line 309 of file variable.cc.

310 {
311  int i;
312  for (i=ExtensionLevel(); i>0;i--)
313  {
314  Variable l(-i);
315  setReduce(l,on);
316  }
317 }

◆ rootOf()

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

Note
: algebraic variables have a level < 0
: algebraic variables have a level < 0

Definition at line 162 of file variable.cc.

163 {
164  ASSERT (mipo.isUnivariate(), "not a legal extension");
165 
166  int l;
167  if ( var_names_ext == 0 ) {
168  var_names_ext = new char [3];
169  var_names_ext[0] = '@';
170  var_names_ext[1] = name;
171  var_names_ext[2] = '\0';
172  l = 1;
173  Variable result( -l, true );
174  algextensions = new ext_entry [2];
175  algextensions[1] = ext_entry( 0, false );
176  algextensions[1] = ext_entry( (InternalPoly*)(conv2mipo( mipo, result ).getval()), true );
177  return result;
178  }
179  else {
180  int i, n = strlen( var_names_ext );
181  char * newvarnames = new char [n+2];
182  for ( i = 0; i < n; i++ )
183  newvarnames[i] = var_names_ext[i];
184  newvarnames[n] = name;
185  newvarnames[n+1] = 0;
186  delete [] var_names_ext;
187  var_names_ext = newvarnames;
188  l = n;
189  Variable result( -l, true );
190  ext_entry * newalgext = new ext_entry [n+1];
191  for ( i = 0; i < n; i++ )
192  newalgext[i] = algextensions[i];
193  newalgext[n] = ext_entry( 0, false );
194  delete [] algextensions;
195  algextensions = newalgext;
196  algextensions[n] = ext_entry( (InternalPoly*)(conv2mipo( mipo, result ).getval()), true );
197  return result;
198  }
199 }

◆ setMipo()

void setMipo ( const Variable alpha,
const CanonicalForm mipo 
)

Definition at line 219 of file variable.cc.

220 {
221  ASSERT( alpha.level() < 0 && alpha.level() != LEVELBASE, "illegal extension" );
222  algextensions[-alpha.level()]= ext_entry( 0, false );
223  algextensions[-alpha.level()]= ext_entry((InternalPoly*)(conv2mipo( mipo, alpha ).getval()), true );
224 }

◆ setReduce()

void setReduce ( const Variable alpha,
bool  reduce 
)

Definition at line 238 of file variable.cc.

239 {
240  ASSERT( alpha.level() < 0 && alpha.level() != LEVELBASE, "illegal extension" );
242 }

Variable Documentation

◆ algextensions

ext_entry* algextensions = 0
static

Definition at line 41 of file variable.cc.

◆ default_name

char default_name = 'v'
static

Definition at line 44 of file variable.cc.

◆ default_name_ext

char default_name_ext = 'a'
static

Definition at line 45 of file variable.cc.

◆ var_names

char* var_names = 0
static

Definition at line 42 of file variable.cc.

◆ var_names_ext

char* var_names_ext = 0
static

Definition at line 43 of file variable.cc.

var_names
static char * var_names
Definition: variable.cc:42
default_name
static char default_name
Definition: variable.cc:44
CFIterator
class to iterate through CanonicalForm's
Definition: cf_iter.h:44
x
Variable x
Definition: cfModGcd.cc:4023
result
return result
Definition: facAbsBiFact.cc:76
reduce
CanonicalForm reduce(const CanonicalForm &f, const CanonicalForm &M)
polynomials in M.mvar() are considered coefficients M univariate monic polynomial the coefficients of...
Definition: cf_ops.cc:646
power
CanonicalForm power(const CanonicalForm &f, int n)
exponentiation
Definition: canonicalform.cc:1837
ext_entry::mipo
InternalPoly * mipo()
Definition: variable.cc:36
CanonicalForm
factory's main class
Definition: canonicalform.h:77
InternalCF::copyObject
InternalCF * copyObject()
Definition: int_cf.h:62
i
int i
Definition: cfEzgcd.cc:125
ASSERT
#define ASSERT(expression, message)
Definition: cf_assert.h:99
alpha
Variable alpha
Definition: facAbsBiFact.cc:52
InternalPoly
factory's class for polynomials
Definition: int_poly.h:71
setReduce
void setReduce(const Variable &alpha, bool reduce)
Definition: variable.cc:238
Variable::level
int level() const
Definition: factory.h:134
var_names_ext
static char * var_names_ext
Definition: variable.cc:43
ext_entry
Definition: variable.cc:18
conv2mipo
static CanonicalForm conv2mipo(const CanonicalForm &mipo, const Variable &alpha)
Definition: variable.cc:154
ExtensionLevel
int ExtensionLevel()
Definition: variable.cc:254
LEVELBASE
#define LEVELBASE
Definition: cf_defs.h:16
Variable
factory's class for variables
Definition: factory.h:117
name
char name(const Variable &v)
Definition: factory.h:180
NULL
#define NULL
Definition: omList.c:10
Variable::_level
int _level
Definition: factory.h:120
l
int l
Definition: cfEzgcd.cc:93
algextensions
static ext_entry * algextensions
Definition: variable.cc:41
ext_entry::reduce
bool & reduce()
Definition: variable.cc:38
CanonicalForm::isUnivariate
bool isUnivariate() const
Definition: canonicalform.cc:152
v
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
mipo
CanonicalForm mipo
Definition: facAlgExt.cc:57
getReduce
bool getReduce(const Variable &alpha)
Definition: variable.cc:232
default_name_ext
static char default_name_ext
Definition: variable.cc:45