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)
InternalPoly *	getInternalMipo (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.

{
  if( var_names_ext == 0)
    return 0;
  return strlen( var_names_ext )-1;
}

getDefaultExtName()

char getDefaultExtName

(

)

Definition at line 249 of file variable.cc.

{
    return default_name_ext;
}

getDefaultVarName()

char getDefaultVarName

(

)

Definition at line 244 of file variable.cc.

{
    return default_name;
}

getInternalMipo()

InternalPoly* getInternalMipo

(

const Variable &

alpha

)

Definition at line 201 of file variable.cc.

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

getMipo() [1/2]

CanonicalForm getMipo

(

const Variable &

alpha

)

Definition at line 213 of file variable.cc.

{
    ASSERT( alpha.level() < 0 && alpha.level() != LEVELBASE, "illegal extension" );
    return CanonicalForm( algextensions[-alpha.level()].mipo()->copyObject() );
}

getMipo() [2/2]

CanonicalForm getMipo	(	const Variable &	alpha,
		const Variable &	x
	)

Definition at line 207 of file variable.cc.

{
    ASSERT( alpha.level() < 0 && alpha.level() != LEVELBASE, "illegal extension" );
    return CanonicalForm( algextensions[-alpha.level()].mipo()->copyObject() )(x,alpha);
}

getReduce()

bool getReduce

(

const Variable &

alpha

)

Definition at line 232 of file variable.cc.

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

hasMipo()

bool hasMipo

(

const Variable &

alpha

)

Definition at line 226 of file variable.cc.

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

level()

int level ( const Variable &  v )

inline

Definition at line 94 of file variable.h.

{ return v.level(); }

name()

char name ( const Variable &  v )

inline

Definition at line 95 of file variable.h.

{ return v.name(); }

prune()

void prune

(

Variable &

alpha

)

Definition at line 261 of file variable.cc.

{
  if (alpha.level()==LEVELBASE) return;
  int i, n = strlen( var_names_ext );
  ASSERT (n+1 >= -alpha.level(), "wrong variable");
  if (-alpha.level() == 1)
  {
    delete [] var_names_ext;
    delete [] algextensions;
    var_names_ext= 0;
    algextensions= 0;
    alpha= Variable();
    return;
  }
  char * newvarnames = new char [-alpha.level() + 1];
  for ( i = 0; i < -alpha.level(); i++ )
    newvarnames[i] = var_names_ext[i];
  newvarnames[-alpha.level()] = 0;
  delete [] var_names_ext;
  var_names_ext = newvarnames;
  ext_entry * newalgext = new ext_entry [-alpha.level()];
  for ( i = 0; i < -alpha.level(); i++ )
    newalgext[i] = algextensions[i];
  delete [] algextensions;
  algextensions = newalgext;
  alpha= Variable();
}

prune1()

void prune1

(

const Variable &

alpha

)

Definition at line 289 of file variable.cc.

{
  int i, n = strlen( var_names_ext );
  ASSERT (n+1 >= -alpha.level(), "wrong variable");
 
  char * newvarnames = new char [-alpha.level() + 2];
  for ( i = 0; i <= -alpha.level(); i++ )
    newvarnames[i] = var_names_ext[i];
  newvarnames[-alpha.level()+1] = 0;
  delete [] var_names_ext;
  var_names_ext = newvarnames;
  ext_entry * newalgext = new ext_entry [-alpha.level()+1];
  for ( i = 0; i <= -alpha.level(); i++ )
    newalgext[i] = algextensions[i];
  delete [] algextensions;
  algextensions = newalgext;
}

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.

{
    ASSERT (mipo.isUnivariate(), "not a legal extension");
 
    int l;
    if ( var_names_ext == 0 ) {
        var_names_ext = new char [3];
        var_names_ext[0] = '@';
        var_names_ext[1] = name;
        var_names_ext[2] = '\0';
        l = 1;
        Variable result( -l, true );
        algextensions = new ext_entry [2];
        algextensions[1] = ext_entry( 0, false );
        algextensions[1] = ext_entry( (InternalPoly*)(conv2mipo( mipo, result ).getval()), true );
        return result;
    }
    else {
        int i, n = strlen( var_names_ext );
        char * newvarnames = new char [n+2];
        for ( i = 0; i < n; i++ )
            newvarnames[i] = var_names_ext[i];
        newvarnames[n] = name;
        newvarnames[n+1] = 0;
        delete [] var_names_ext;
        var_names_ext = newvarnames;
        l = n;
        Variable result( -l, true );
        ext_entry * newalgext = new ext_entry [n+1];
        for ( i = 0; i < n; i++ )
            newalgext[i] = algextensions[i];
        newalgext[n] = ext_entry( 0, false );
        delete [] algextensions;
        algextensions = newalgext;
        algextensions[n] = ext_entry( (InternalPoly*)(conv2mipo( mipo, result ).getval()), true );
        return result;
    }
}

setMipo()

void setMipo	(	const Variable &	alpha,
		const CanonicalForm &	mipo
	)

Definition at line 219 of file variable.cc.

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

setReduce()

void setReduce	(	const Variable &	alpha,
		bool	reduce
	)

Definition at line 238 of file variable.cc.

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