My Project  debian-1:4.1.1-p2+ds-4build4
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 }
CanonicalForm power(const CanonicalForm &f, int n)
exponentiation
int i
Definition: cfEzgcd.cc:125
class to iterate through CanonicalForm's
Definition: cf_iter.h:44
factory's main class
Definition: canonicalform.h:83
Variable alpha
Definition: facAbsBiFact.cc:52
return result
Definition: facAbsBiFact.cc:76
CanonicalForm mipo
Definition: facAlgExt.cc:57

◆ 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 }
static char * var_names_ext
Definition: variable.cc:43

◆ getDefaultExtName()

char getDefaultExtName ( )

Definition at line 249 of file variable.cc.

250 {
251  return default_name_ext;
252 }
static char default_name_ext
Definition: variable.cc:45

◆ getDefaultVarName()

char getDefaultVarName ( )

Definition at line 244 of file variable.cc.

245 {
246  return default_name;
247 }
static char default_name
Definition: variable.cc:44

◆ 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 }
#define ASSERT(expression, message)
Definition: cf_assert.h:99
#define LEVELBASE
Definition: cf_defs.h:16
int level() const
Definition: factory.h:134
InternalPoly * mipo()
Definition: variable.cc:36
static ext_entry * algextensions
Definition: variable.cc:41

◆ 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 }
InternalCF * copyObject()
Definition: int_cf.h:62

◆ 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 }
Variable x
Definition: cfModGcd.cc:4023

◆ 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 }
bool & reduce()
Definition: variable.cc:38

◆ 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 }
#define NULL
Definition: omList.c:10
bool getReduce(const Variable &alpha)
Definition: variable.cc:232

◆ 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 }
int l
Definition: cfEzgcd.cc:93
int _level
Definition: factory.h:120
const Variable & v
< [in] a sqrfree bivariate poly
Definition: facBivar.h:37
static char * var_names
Definition: variable.cc:42

◆ prune()

void prune ( Variable alpha)

Definition at line 261 of file variable.cc.

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

◆ prune1()

void prune1 ( const Variable alpha)

Definition at line 289 of file variable.cc.

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

◆ Reduce()

void Reduce ( bool  on)

Definition at line 307 of file variable.cc.

308 {
309  int i;
310  for (i=ExtensionLevel(); i>0;i--)
311  {
312  Variable l(-i);
313  setReduce(l,on);
314  }
315 }
void setReduce(const Variable &alpha, bool reduce)
Definition: variable.cc:238
int ExtensionLevel()
Definition: variable.cc:254

◆ 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 }
bool isUnivariate() const
factory's class for polynomials
Definition: int_poly.h:71
char name(const Variable &v)
Definition: factory.h:180
static CanonicalForm conv2mipo(const CanonicalForm &mipo, const Variable &alpha)
Definition: variable.cc:154

◆ 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 }
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

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.