Variable Class Reference

factory's class for variables More...

#include <variable.h>

Public Member Functions
	Variable ()
	Variable (int l)
	Variable (char name)
	Variable (int l, char name)
	Variable (const Variable &v)
	~Variable ()
Variable &	operator= (const Variable &v)
int	level () const
char	name () const
Variable	next () const

Static Public Member Functions
static Variable	highest ()

Private Member Functions
	Variable (int l, bool flag)

Private Attributes
int	_level

Friends
bool	operator== (const Variable &lhs, const Variable &rhs)
bool	operator!= (const Variable &lhs, const Variable &rhs)
bool	operator> (const Variable &lhs, const Variable &rhs)
bool	operator< (const Variable &lhs, const Variable &rhs)
bool	operator>= (const Variable &lhs, const Variable &rhs)
bool	operator<= (const Variable &lhs, const Variable &rhs)
OSTREAM &	operator<< (OSTREAM &os, const Variable &v)
void	swap_levels ()
Variable	rootOf (const CanonicalForm &, char name)
	returns a symbolic root of polynomial with name name. More...

Detailed Description

factory's class for variables

Definition at line 32 of file variable.h.

Constructor & Destructor Documentation

Variable() [1/6]

Variable::Variable ( int  l, bool  flag  )

private

Definition at line 47 of file variable.cc.

                                     : _level(l)
{
    ASSERT( flag, "illegal level" );
}

Variable() [2/6]

Variable::Variable ( )

inline

Definition at line 38 of file variable.h.

: _level(LEVELBASE) {}

Variable() [3/6]

Variable::Variable

(

int

l

)

Definition at line 52 of file variable.cc.

                          : _level(l)
{
    //ASSERT( l > 0 && l != LEVELQUOT, "illegal level" );
}

Variable() [4/6]

Variable::Variable

(

char

name

)

Definition at line 57 of file variable.cc.

{
    bool isext = false;
    int n, i;
    if ( var_names_ext != 0 ) {
        n = strlen( var_names_ext );
        i = 1;
        while ( i < n && var_names_ext[i] != name ) i++;
        if ( i < n ) {
            _level = -i;
            isext = true;
        }
    }
    if ( ! isext ) {
        if ( var_names == 0 ) {
            var_names = new char [3];
            var_names[0] = '@';
            var_names[1] = name;
            var_names[2] = '\0';
            _level = 1;
        }
        else {
            n = strlen( var_names );
            i = 1;
            while ( i < n && var_names[i] != name ) i++;
            if ( i < n )
                _level = i;
            else {
                ASSERT( name != '@', "illegal variable name" );
                char * newvarnames = new char [n+2];
                for ( i = 0; i < n; i++ )
                    newvarnames[i] = var_names[i];
                newvarnames[n] = name;
                newvarnames[n+1] = 0;
                delete [] var_names;
                var_names = newvarnames;
                _level = n;
            }
        }
    }
}

Variable() [5/6]

Variable::Variable	(	int	l,
		char	name
	)

Definition at line 99 of file variable.cc.

                                     : _level(l)
{
    ASSERT( l > 0 && l != LEVELQUOT, "illegal level" );
    int n;
    if ( (n = (var_names == 0 ? 0 : strlen( var_names ))) <= l ) {
        char * newvarnames = new char [l+2];
        int i;
        for ( i = 0; i < n; i++ )
            newvarnames[i] = var_names[i];
        for ( i = n; i < l; i++ )
            newvarnames[i] = '@';
        newvarnames[l] = name;
        newvarnames[l+1] = 0;
        delete [] var_names;
        var_names = newvarnames;
    }
    else {
        ASSERT( var_names[l] == '@', "illegal name" );
        var_names[l] = name;
    }
}

Variable() [6/6]

Variable::Variable ( const Variable &  v )

inline

Definition at line 42 of file variable.h.

: _level(v._level) {}

~Variable()

Variable::~Variable ( )

inline

Definition at line 43 of file variable.h.

{};

Member Function Documentation

highest()

static Variable Variable::highest ( )

inlinestatic

Definition at line 51 of file variable.h.

{ return Variable( LEVELQUOT-1 ); }

level()

int Variable::level ( ) const

inline

Definition at line 49 of file variable.h.

{ return _level; }

name()

char Variable::name

(

)

const

Definition at line 122 of file variable.cc.

{
    if ( _level > 0 && _level < (int)strlen( var_names ) )
        return( var_names[_level] );
    else if ( _level < 0 && -_level < (int)strlen( var_names_ext ) )
        return( var_names_ext[-_level] );
    else
        return '@';
}

next()

Variable Variable::next ( ) const

inline

Definition at line 52 of file variable.h.

{ return Variable( _level+1 ); }

operator=()

Variable & Variable::operator= ( const Variable &  v )

inline

Definition at line 44 of file variable.h.

    {
        _level = v._level;
        return *this;
    }

Friends And Related Function Documentation

operator!=

bool operator!= ( const Variable &  lhs, const Variable &  rhs  )

friend

Definition at line 57 of file variable.h.

    {
        return lhs._level != rhs._level;
    }

operator<

bool operator< ( const Variable &  lhs, const Variable &  rhs  )

friend

Definition at line 65 of file variable.h.

    {
        return lhs._level < rhs._level;
    }

operator<<

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

friend

operator<=

bool operator<= ( const Variable &  lhs, const Variable &  rhs  )

friend

Definition at line 73 of file variable.h.

    {
        return lhs._level <= rhs._level;
    }

operator==

bool operator== ( const Variable &  lhs, const Variable &  rhs  )

friend

Definition at line 53 of file variable.h.

    {
        return lhs._level == rhs._level;
    }

operator>

bool operator> ( const Variable &  lhs, const Variable &  rhs  )

friend

Definition at line 61 of file variable.h.

    {
        return lhs._level > rhs._level;
    }

operator>=

bool operator>= ( const Variable &  lhs, const Variable &  rhs  )

friend

Definition at line 69 of file variable.h.

    {
        return lhs._level >= rhs._level;
    }

rootOf

Variable rootOf ( const CanonicalForm &  , char  name  )

friend

returns a symbolic root of polynomial with name name.

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

swap_levels

void swap_levels ( )

friend

Field Documentation

_level

int Variable::_level

private

Definition at line 35 of file variable.h.

---

The documentation for this class was generated from the following files:

• factory/variable.h
• factory/variable.cc