All Classes Functions Friends
Public Member Functions | Public Attributes | Static Public Attributes | Friends | List of all members
UnivariateRationalFunction< UnivariatePolynomialOverField, Field > Class Template Reference
Inheritance diagram for UnivariateRationalFunction< UnivariatePolynomialOverField, Field >:
BPASRationalFunction BPASField BPASRing

Public Member Functions

 UnivariateRationalFunction ()
 
 UnivariateRationalFunction (const UnivariateRationalFunction< UnivariatePolynomialOverField, Field > &b)
 
 UnivariateRationalFunction (UnivariatePolynomialOverField a, UnivariatePolynomialOverField b)
 
 ~UnivariateRationalFunction ()
 
void setVariableName (std::string name)
 
std::string variable ()
 
bool isProfiling ()
 
void setProfiling (bool a)
 
bool isFloatingPointPrinting ()
 
void setFloatingPointPrinting (bool a)
 
bool isMapleOutput ()
 
void setMapleOutput ()
 
bool isMatlabOutput ()
 
void setMatlabOutput ()
 
void setNumerator (UnivariatePolynomialOverField &b)
 
void setDenominator (UnivariatePolynomialOverField &b)
 
void set (UnivariatePolynomialOverField &a, UnivariatePolynomialOverField &b)
 
UnivariatePolynomialOverField numerator ()
 
UnivariatePolynomialOverField denominator ()
 
bool operator!= (UnivariateRationalFunction< UnivariatePolynomialOverField, Field > &b)
 
bool operator== (UnivariateRationalFunction< UnivariatePolynomialOverField, Field > &b)
 
UnivariateRationalFunction
< UnivariatePolynomialOverField,
Field > 
operator+ (UnivariateRationalFunction< UnivariatePolynomialOverField, Field > &b)
 
UnivariateRationalFunction
< UnivariatePolynomialOverField,
Field > & 
operator+= (UnivariateRationalFunction< UnivariatePolynomialOverField, Field > b)
 
UnivariateRationalFunction
< UnivariatePolynomialOverField,
Field > 
operator- (UnivariateRationalFunction< UnivariatePolynomialOverField, Field > &b)
 
UnivariateRationalFunction
< UnivariatePolynomialOverField,
Field > & 
operator-= (UnivariateRationalFunction< UnivariatePolynomialOverField, Field > b)
 
UnivariateRationalFunction
< UnivariatePolynomialOverField,
Field > 
operator- ()
 
UnivariateRationalFunction
< UnivariatePolynomialOverField,
Field > 
operator^ (int e)
 
UnivariateRationalFunction
< UnivariatePolynomialOverField,
Field > & 
operator^= (int e)
 
UnivariateRationalFunction
< UnivariatePolynomialOverField,
Field > 
inverse ()
 
UnivariateRationalFunction
< UnivariatePolynomialOverField,
Field > 
operator* (UnivariateRationalFunction< UnivariatePolynomialOverField, Field > &b)
 
UnivariateRationalFunction
< UnivariatePolynomialOverField,
Field > & 
operator*= (UnivariateRationalFunction< UnivariatePolynomialOverField, Field > b)
 
UnivariateRationalFunction
< UnivariatePolynomialOverField,
Field > 
operator/ (UnivariateRationalFunction< UnivariatePolynomialOverField, Field > &b)
 
UnivariateRationalFunction
< UnivariatePolynomialOverField,
Field > & 
operator/= (UnivariateRationalFunction< UnivariatePolynomialOverField, Field > b)
 
void canonicalize ()
 
bool isZero ()
 
void zero ()
 
bool isOne ()
 
void one ()
 
bool isNegativeOne ()
 
void negativeOne ()
 
int isConstant ()
 
UnivariateRationalFunction
< UnivariatePolynomialOverField,
Field > & 
operator= (UnivariateRationalFunction< UnivariatePolynomialOverField, Field > b)
 
void hermiteReduce (std::vector< UnivariateRationalFunction< UnivariatePolynomialOverField, Field > > *g, UnivariateRationalFunction< UnivariatePolynomialOverField, Field > *h)
 
void integrateRationalLogPart (std::vector< SparseUnivariatePolynomial< UnivariatePolynomialOverField > > *S, std::vector< UnivariatePolynomialOverField > *U)
 
void differentiate ()
 
void integrate (UnivariatePolynomialOverField *P, std::vector< UnivariateRationalFunction< UnivariatePolynomialOverField, Field > > *g, std::vector< UnivariatePolynomialOverField > *U, std::vector< SparseUnivariatePolynomial< UnivariatePolynomialOverField > > *S)
 
void realSymbolicNumericIntegrate (UnivariatePolynomialOverField *P, std::vector< UnivariateRationalFunction< UnivariatePolynomialOverField, Field > > *g, std::vector< Field > *lg, std::vector< UnivariatePolynomialOverField > *Lg, std::vector< Field > *atn, std::vector< UnivariatePolynomialOverField > *Atn, int prec)
 
void printIntegral (UnivariatePolynomialOverField &P, std::vector< UnivariateRationalFunction< UnivariatePolynomialOverField, Field > > &g, std::vector< UnivariatePolynomialOverField > &U, std::vector< SparseUnivariatePolynomial< UnivariatePolynomialOverField > > &S)
 
void printIntegral (UnivariatePolynomialOverField &P, std::vector< UnivariateRationalFunction< UnivariatePolynomialOverField, Field > > &g, std::vector< Field > &lg, std::vector< UnivariatePolynomialOverField > &Lg, std::vector< Field > &atn, std::vector< UnivariatePolynomialOverField > &Atn)
 
- Public Member Functions inherited from BPASRationalFunction
BPASPolynomialnumerator ()
 
BPASPolynomialdenominator ()
 
- Public Member Functions inherited from BPASField
BPASFieldoperator= (BPASField &)
 
BPASFieldoperator+ (BPASField &)
 
BPASFieldoperator+= (BPASField &)
 
BPASFieldoperator- (BPASField &)
 
BPASFieldoperator- ()
 
BPASFieldoperator-= (BPASField &)
 
BPASFieldoperator* (BPASField &)
 
BPASFieldoperator*= (BPASField &)
 
BPASFieldoperator/ (BPASField &)
 
BPASFieldoperator/= (BPASField &)
 
BPASFieldinverse ()
 
BPASFieldoperator^ (int)
 
bool operator== (BPASField &)
 
bool operator!= (BPASField &)
 

Public Attributes

int characteristic
 

Static Public Attributes

static bool isPrimeField
 
static bool isComplexField
 
- Static Public Attributes inherited from BPASRing
static int characteristic
 
static bool isPrimeField
 
static bool isComplexField
 

Friends

std::ostream & operator<< (std::ostream &out, UnivariateRationalFunction< UnivariatePolynomialOverField, Field > b)
 

Constructor & Destructor Documentation

template<class UnivariatePolynomialOverField, class Field>
UnivariateRationalFunction< UnivariatePolynomialOverField, Field >::UnivariateRationalFunction ( )
inline

Construct the zero univariate rational function

Parameters
template<class UnivariatePolynomialOverField, class Field>
UnivariateRationalFunction< UnivariatePolynomialOverField, Field >::UnivariateRationalFunction ( const UnivariateRationalFunction< UnivariatePolynomialOverField, Field > &  b)
inline

Copy constructor

Parameters
b,:A rational function
template<class UnivariatePolynomialOverField, class Field>
UnivariateRationalFunction< UnivariatePolynomialOverField, Field >::UnivariateRationalFunction ( UnivariatePolynomialOverField  a,
UnivariatePolynomialOverField  b 
)
inline
Parameters
a,:the numerator
b,:the denominator
template<class UnivariatePolynomialOverField, class Field>
UnivariateRationalFunction< UnivariatePolynomialOverField, Field >::~UnivariateRationalFunction ( )
inline

Destroy the rational function

Parameters

Member Function Documentation

template<class UnivariatePolynomialOverField, class Field>
UnivariateRationalFunction<UnivariatePolynomialOverField,Field>& UnivariateRationalFunction< UnivariatePolynomialOverField, Field >::operator= ( UnivariateRationalFunction< UnivariatePolynomialOverField, Field >  b)
inline

Overload operator =

Parameters
b,:A rational function
template<class UnivariatePolynomialOverField, class Field>
UnivariateRationalFunction<UnivariatePolynomialOverField,Field> UnivariateRationalFunction< UnivariatePolynomialOverField, Field >::operator^ ( int  e)
inline

Overload operator ^ replace xor operation by exponentiation

Parameters
e,:The exponentiation, e > 0
template<class UnivariatePolynomialOverField, class Field>
UnivariateRationalFunction<UnivariatePolynomialOverField,Field>& UnivariateRationalFunction< UnivariatePolynomialOverField, Field >::operator^= ( int  e)
inline

Overload operator ^= replace xor operation by exponentiation

Parameters
e,:The exponentiation, e > 0

Friends And Related Function Documentation

template<class UnivariatePolynomialOverField, class Field>
std::ostream& operator<< ( std::ostream &  out,
UnivariateRationalFunction< UnivariatePolynomialOverField, Field >  b 
)
friend

Overload stream operator <<

Parameters
out,:Stream object
b,:The rational function

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