UnivariateRationalFunction< UnivariatePolynomialOverField, Field > Class Template Reference
Inheritance diagram for UnivariateRationalFunction< UnivariatePolynomialOverField, Field >:

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 ()

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& UnivariateRationalFunction< UnivariatePolynomialOverField, Field >::operator= ( UnivariateRationalFunction< UnivariatePolynomialOverField, Field > b )
inline

Parameters
 b,: A rational function
template<class UnivariatePolynomialOverField, class Field>
 UnivariateRationalFunction 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& 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

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

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