My Project  debian-1:4.1.1-p2+ds-4
Data Structures | Macros | Functions
variable.h File Reference
#include <iostream>
#include "cf_defs.h"

Go to the source code of this file.

Data Structures

class  Variable
 factory's class for variables More...
 

Macros

#define OSTREAM   std::ostream
 

Functions

Variable rootOf (const CanonicalForm &, char name='@')
 returns a symbolic root of polynomial with name name Use it to define algebraic variables More...
 
int level (const Variable &v)
 
char name (const Variable &v)
 
void setReduce (const Variable &alpha, bool reduce)
 
void setMipo (const Variable &alpha, const CanonicalForm &mipo)
 
CanonicalForm getMipo (const Variable &alpha, const Variable &x)
 
bool hasMipo (const Variable &alpha)
 
char getDefaultVarName ()
 
char getDefaultExtName ()
 
void prune (Variable &alpha)
 
void prune1 (const Variable &alpha)
 
int ExtensionLevel ()
 
CanonicalForm getMipo (const Variable &alpha)
 
InternalPolygetInternalMipo (const Variable &alpha)
 
bool getReduce (const Variable &alpha)
 

Detailed Description

operations on variables

Definition in file variable.h.

Macro Definition Documentation

◆ OSTREAM

#define OSTREAM   std::ostream

Definition at line 16 of file variable.h.

Function Documentation

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

◆ level()

int level ( const Variable v)
inline

Definition at line 94 of file variable.h.

94 { return v.level(); }

◆ name()

char name ( const Variable v)
inline

Definition at line 95 of file variable.h.

95 { return v.name(); }

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

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

◆ rootOf()

Variable rootOf ( const CanonicalForm mipo,
char  name 
)

returns a symbolic root of polynomial with name name Use it to define algebraic variables

returns a symbolic root of polynomial with name name.

Note
: algebraic variables have a level < 0

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 }
default_name
static char default_name
Definition: variable.cc: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
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
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
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
Variable::name
char name() const
Definition: variable.cc:122
NULL
#define NULL
Definition: omList.c:9
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