GiNaCRA  0.6.4
GiNaC::UnivariateRepresentation Class Reference

An implementation of a multi dimensional real algebraic number providing arithmetic and relational operations. More...

#include <UnivariateRepresentation.h>

Inheritance diagram for GiNaC::UnivariateRepresentation:
Collaboration diagram for GiNaC::UnivariateRepresentation:

Public Member Functions

 UnivariateRepresentation (const RationalUnivariatePolynomial &rootSource, const RationalUnivariatePolynomial &denominator, const list< RationalUnivariatePolynomial > &numerators, const vector< symbol > &variables) throw ( invalid_argument )
 ~UnivariateRepresentation ()
const RationalUnivariatePolynomial RootSource () const
const RationalUnivariatePolynomial Denominator () const
const list
< RationalUnivariatePolynomial > 
Numerators () const
const UnivariateRepresentation add (UnivariateRepresentation o) throw ( invalid_argument )
 This number gets all values of the other.
const UnivariateRepresentation minus () const
 Returns the negative value, allocated on the heap.
const UnivariateRepresentation mul (UnivariateRepresentation o) throw ( invalid_argument )
 Multiplies two real algebraic numbers and returns a reference to their product, allocated on the heap.
const UnivariateRepresentation inverse () const throw ( invalid_argument )
 Returns the inverse, allocated on the heap.

Protected Member Functions

bool is_equal_same_type (const basic &other)
void do_print (const print_context &c, unsigned level=0) const
ex eval (int level=0) const

Private Attributes

RationalUnivariatePolynomial mRootSource
RationalUnivariatePolynomial mDenominator
list
< RationalUnivariatePolynomial > 
mNumerators
vector< symbol > mVariables

Detailed Description

An implementation of a multi dimensional real algebraic number providing arithmetic and relational operations.

Todo:
Write comprehensive description of how real algebraic number is represented via univariate representation and how the other features like getOrder() etc. are implemented.
Author:
Ulrich Loup
Since:
2011-04-30
Version:
2011-10-30
See also:
ISBN 0-387-94090-1 and ISBN-13: 978-3642069642

Notation is following http://www.possibility.com/Cpp/CppCodingStandard.html.

Definition at line 47 of file UnivariateRepresentation.h.


Constructor & Destructor Documentation

GiNaC::UnivariateRepresentation::UnivariateRepresentation ( const RationalUnivariatePolynomial &  rootSource,
const RationalUnivariatePolynomial &  denominator,
const list< RationalUnivariatePolynomial > &  numerators,
const vector< symbol > &  variables 
) throw ( invalid_argument )
Parameters:
rootSource
denominator
numerators
variables

Member Function Documentation

This number gets all values of the other.

Adds two real algebraic numbers and returns a reference to their sum, allocated on the heap.

Parameters:
o
Returns:
sum allocated on the heap
const RationalUnivariatePolynomial GiNaC::UnivariateRepresentation::Denominator ( ) const
Returns:
the denominator of the rational functions
void GiNaC::UnivariateRepresentation::do_print ( const print_context &  c,
unsigned  level = 0 
) const [protected]
ex GiNaC::UnivariateRepresentation::eval ( int  level = 0) const [protected]
const UnivariateRepresentation GiNaC::UnivariateRepresentation::inverse ( ) const throw ( invalid_argument )

Returns the inverse, allocated on the heap.

Returns:
inverse value allocated on the heap
bool GiNaC::UnivariateRepresentation::is_equal_same_type ( const basic &  other) [protected]

Returns the negative value, allocated on the heap.

Returns:
negative value allocated on the heap

Multiplies two real algebraic numbers and returns a reference to their product, allocated on the heap.

Parameters:
o
Returns:
product allocated on the heap
const list<RationalUnivariatePolynomial> GiNaC::UnivariateRepresentation::Numerators ( ) const
Returns:
polynomial being the numerators of the rational functions
const RationalUnivariatePolynomial GiNaC::UnivariateRepresentation::RootSource ( ) const
Returns:
polynomial being the source of the roots for evaluating with the rational functions

Field Documentation

RationalUnivariatePolynomial GiNaC::UnivariateRepresentation::mDenominator [private]

Definition at line 177 of file UnivariateRepresentation.h.

list<RationalUnivariatePolynomial> GiNaC::UnivariateRepresentation::mNumerators [private]

Definition at line 178 of file UnivariateRepresentation.h.

RationalUnivariatePolynomial GiNaC::UnivariateRepresentation::mRootSource [private]

Definition at line 176 of file UnivariateRepresentation.h.

Definition at line 179 of file UnivariateRepresentation.h.


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