All Classes Functions Friends
Public Member Functions | Friends | List of all members
RationalRegularChain Class Reference

#include <regularchain.h>

Inheritance diagram for RationalRegularChain:
BPASRegularChain BPASTriangularSet

Public Member Functions

 RationalRegularChain ()
 
 RationalRegularChain (int v, std::string *xs)
 
 RationalRegularChain (const RationalRegularChain &rc)
 
 ~RationalRegularChain ()
 
int numberOfVariables ()
 
std::vector< std::string > variables ()
 
RationalRegularChainoperator= (RationalRegularChain rc)
 
RationalRegularChain operator+ (DenseUnivariateRationalPolynomial up)
 
RationalRegularChainoperator+= (DenseUnivariateRationalPolynomial up)
 
RationalRegularChain operator+ (SparseMultivariateRationalPolynomial mp)
 
RationalRegularChainoperator+= (SparseMultivariateRationalPolynomial mp)
 
SparseMultivariateRationalPolynomial select (std::string x)
 
RationalRegularChain under (std::string x)
 
RationalRegularChain upper (std::string x)
 
Intervals realRootIsolate (mpq_class width, int ts=-1)
 
- Public Member Functions inherited from BPASRegularChain
BPASMultivariatePolynomialnormal (BPASMultivariatePolynomial &)
 
- Public Member Functions inherited from BPASTriangularSet
BPASMultivariatePolynomialselect (std::string)
 
BPASTriangularSetunder (std::string)
 
BPASTriangularSetupper (std::string)
 
BPASMultivariatePolynomialpseudoDivide (BPASMultivariatePolynomial &, std::vector< BPASMultivariatePolynomial & > *, BPASMultivariatePolynomial *)
 
BPASMultivariatePolynomialmonicDivide (BPASMultivariatePolynomial &, std::vector< BPASMultivariatePolynomial & > *)
 

Friends

std::ostream & operator<< (std::ostream &out, RationalRegularChain &rc)
 

Detailed Description

Data Structure for regular chains using univariate & multivariate rational polynomial

Constructor & Destructor Documentation

RationalRegularChain::RationalRegularChain ( )
inline

Default constructor

Parameters
RationalRegularChain::RationalRegularChain ( int  v,
std::string *  xs 
)
inline

Constructor with number of variables and variable names

Parameters
v,:Number of variables
xs,:Variable names
RationalRegularChain::RationalRegularChain ( const RationalRegularChain rc)
inline

Copy constructor

Parameters
rc,:A regular chain
RationalRegularChain::~RationalRegularChain ( )
inline

Destructor

Parameters

Member Function Documentation

int RationalRegularChain::numberOfVariables ( )
inlinevirtual

Number of variables

Parameters

Implements BPASTriangularSet.

RationalRegularChain RationalRegularChain::operator+ ( DenseUnivariateRationalPolynomial  up)
inline

Overload operator +

Parameters
up,:A univariate polynomial
RationalRegularChain RationalRegularChain::operator+ ( SparseMultivariateRationalPolynomial  mp)
inline

Overload operator +

Parameters
mp,:A multivariate polynomial
RationalRegularChain& RationalRegularChain::operator+= ( DenseUnivariateRationalPolynomial  up)

Overload operator +=

Parameters
up,:A univariate polynomial
RationalRegularChain& RationalRegularChain::operator+= ( SparseMultivariateRationalPolynomial  mp)

Overload operator +=

Parameters
mp,:A multivariate polynomial
RationalRegularChain& RationalRegularChain::operator= ( RationalRegularChain  rc)
inline

Overload operator =

Parameters
rc,:A regular chain
Intervals RationalRegularChain::realRootIsolate ( mpq_class  width,
int  ts = -1 
)
inline

Real root isolation

Parameters
width,:The interval's width
ts,:Taylor Shift option
SparseMultivariateRationalPolynomial RationalRegularChain::select ( std::string  x)

Select a polynomial given the leading variable

Parameters
x,:The leading variable name
RationalRegularChain RationalRegularChain::under ( std::string  x)

The regular chain under a variable

Parameters
x,:The variable name
RationalRegularChain RationalRegularChain::upper ( std::string  x)
inline

The regular chain upper a variable

Parameters
x,:The variable name
std::vector<std::string> RationalRegularChain::variables ( )
inlinevirtual

Variables

Parameters

Implements BPASTriangularSet.

Friends And Related Function Documentation

std::ostream& operator<< ( std::ostream &  out,
RationalRegularChain rc 
)
friend

Overload stream operator <<

Parameters
out,:Stream object
rc,:A regular chain

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