Todo List

Class GiNaC::UnivariateRepresentation

Write comprehensive description of how real algebraic number is represented via univariate representation and how the other features like getOrder() etc. are implemented.

Global GiNaCRA::RationalUnivariatePolynomial::standardSturmSequence (const RationalUnivariatePolynomial &a, const RationalUnivariatePolynomial &b)

naming is not according to the source of our other algorithms, this is actually the computation of the signed remainder sequence. SturmSequences are SRemS over P,P'.

Global GiNaCRA::RealAlgebraicNumberIR::isLessWhileUnequal (RealAlgebraicNumberIR &o)

improve search

Global GiNaCRA::SpecialQuotientRingMultiplicationTable< monomialOrdering >::initializeMultiplicationTable ()

This version of the algorithm is implemented straight-forward. A more sophisticated approach can be found on page 457 of ISBN 0-387-94090-1.

Global GiNaCRA::UnivariatePolynomial::subresultants (const UnivariatePolynomial &a, const UnivariatePolynomial &b, const subresultantStrategy strategy=GENERIC_SUBRESULTANTSTRATEGY)

implement using page 151 of the above mentioned article

implement using page 154 of the above mentioned article

implement using page 151 of the above mentioned article

implement using page 154 of the above mentioned article

implement using page 154 of the above mentioned article

implement using page 151 of the above mentioned article

implement using page 154 of the above mentioned article