All Classes Functions Friends
Public Member Functions | Friends | List of all members
RegularChain< Ring > Class Template Reference
Inheritance diagram for RegularChain< Ring >:
BPASRegularChain TriangularSet< Ring > BPASTriangularSet BPASTriangularSet

Public Member Functions

 RegularChain ()
 
 RegularChain (int s, std::vector< std::string > xs)
 
 RegularChain (const RegularChain< Ring > &a)
 
RegularChain< Ring > operator+ (SparseMultivariatePolynomial< Ring > &smp)
 
RegularChain< Ring > & operator+= (SparseMultivariatePolynomial< Ring > smp)
 
int numberOfVariables ()
 
std::vector< std::string > variables ()
 
RegularChain< Ring > under (std::string x)
 
RegularChain< Ring > upper (std::string x)
 
- 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 & > *)
 
- Public Member Functions inherited from TriangularSet< Ring >
 TriangularSet ()
 
 TriangularSet (int s, std::vector< std::string > xs)
 
 TriangularSet (const TriangularSet< Ring > &a)
 
 ~TriangularSet ()
 
TriangularSet< Ring > & operator= (TriangularSet< Ring > a)
 
TriangularSet< Ring > operator+ (SparseMultivariatePolynomial< Ring > smp)
 
TriangularSet< Ring > & operator+= (SparseMultivariatePolynomial< Ring > smp)
 
int numberOfVariables ()
 
std::vector< std::string > variables ()
 
SparseMultivariatePolynomial
< Ring > 
select (std::string x)
 
TriangularSet< Ring > under (std::string x)
 
TriangularSet< Ring > upper (std::string x)
 
SparseMultivariatePolynomial
< Ring > 
pseudoDivide (SparseMultivariatePolynomial< Ring > &p, std::vector< SparseMultivariatePolynomial< Ring > > *quo=NULL, SparseMultivariatePolynomial< Ring > *c=NULL)
 
SparseMultivariatePolynomial
< Ring > 
monicDivide (SparseMultivariatePolynomial< Ring > &p, std::vector< SparseMultivariatePolynomial< Ring > > *quo=NULL)
 

Friends

std::ostream & operator<< (std::ostream &out, RegularChain< Ring > &a)
 

Additional Inherited Members

- Protected Attributes inherited from TriangularSet< Ring >
int n
 
SparseMultivariatePolynomial
< Ring > * 
set
 
std::string * names
 

Constructor & Destructor Documentation

template<class Ring>
RegularChain< Ring >::RegularChain ( )
inline

Default constructor

Parameters
template<class Ring>
RegularChain< Ring >::RegularChain ( int  s,
std::vector< std::string >  xs 
)
inline

Construct with number of polynomials and variable names

Parameters
s,:The number of polynomials
xs;Variable names
template<class Ring>
RegularChain< Ring >::RegularChain ( const RegularChain< Ring > &  a)
inline

Copy constructor

Parameters
a,:A regular chain

Member Function Documentation

template<class Ring>
int RegularChain< Ring >::numberOfVariables ( )
inlinevirtual

Get the number of variables

Parameters

Implements BPASTriangularSet.

template<class Ring>
RegularChain<Ring> RegularChain< Ring >::operator+ ( SparseMultivariatePolynomial< Ring > &  smp)
inline

Overload operator +

Parameters
smp,:A sparse multivariate polynomial
template<class Ring>
RegularChain<Ring>& RegularChain< Ring >::operator+= ( SparseMultivariatePolynomial< Ring >  smp)
inline

Overload operator +=

Parameters
smp,:A sparse multivariate polynomial
template<class Ring>
RegularChain<Ring> RegularChain< Ring >::under ( std::string  x)
inline

The regular chain under a variable

Parameters
x,:The variable name
template<class Ring>
RegularChain<Ring> RegularChain< Ring >::upper ( std::string  x)
inline

The regular chain upper a variable

Parameters
x,:The variable name
template<class Ring>
std::vector<std::string> RegularChain< Ring >::variables ( )
inlinevirtual

Get variable names

Parameters

Implements BPASTriangularSet.

Friends And Related Function Documentation

template<class Ring>
std::ostream& operator<< ( std::ostream &  out,
RegularChain< Ring > &  a 
)
friend

Overload stream operator <<

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

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