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

Public Member Functions

 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)
 
- 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 & > *)
 

Protected Attributes

int n
 
SparseMultivariatePolynomial
< Ring > * 
set
 
std::string * names
 

Friends

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

Constructor & Destructor Documentation

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

Default constructpr

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

Construct with number of polynomials and variable names

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

Copy constructor

Parameters
a,:A triangular set
template<class Ring>
TriangularSet< Ring >::~TriangularSet ( )
inline

Deconstructor

Parameters

Member Function Documentation

template<class Ring>
SparseMultivariatePolynomial<Ring> TriangularSet< Ring >::monicDivide ( SparseMultivariatePolynomial< Ring > &  p,
std::vector< SparseMultivariatePolynomial< Ring > > *  quo = NULL 
)
inline

Monic division Return the remainder

Parameters
p,:An input polynomial
quo,:The quotients
template<class Ring>
int TriangularSet< Ring >::numberOfVariables ( )
inlinevirtual

Get the number of variables

Parameters

Implements BPASTriangularSet.

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

Overload operator +

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

Overload operator +=

Parameters
smp,:A sparse multivariate polynomial
template<class Ring>
TriangularSet<Ring>& TriangularSet< Ring >::operator= ( TriangularSet< Ring >  a)
inline

Overload operator =

Parameters
a,:A triangular set
template<class Ring>
SparseMultivariatePolynomial<Ring> TriangularSet< Ring >::pseudoDivide ( SparseMultivariatePolynomial< Ring > &  p,
std::vector< SparseMultivariatePolynomial< Ring > > *  quo = NULL,
SparseMultivariatePolynomial< Ring > *  c = NULL 
)
inline

Pseudo division Return the remainder

Parameters
p,:An input polynomial
quo,:The quotients
c,:The constant multiplied to the input polynomial
template<class Ring>
SparseMultivariatePolynomial<Ring> TriangularSet< Ring >::select ( std::string  x)
inline

Select a polynomial given the leading variable

Parameters
x,:The leading variable name
template<class Ring>
TriangularSet<Ring> TriangularSet< Ring >::under ( std::string  x)
inline

The triangular set under a variable

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

The triangular set upper a variable

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

Get variable names

Parameters

Implements BPASTriangularSet.

Friends And Related Function Documentation

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

Overload stream operator <<

Parameters
out,:Stream object
a,:A triangular set

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