Targeted functionalities

Level 1: core routines specific to a coefficient ring or a polynomial representation

Level 2: basic arithmetic operations

Level 3: advanced arithmetic operations

A snapshot of the BPAS ring classes

One-dimensional modular FFTs

Parallel multiplication of dense integer polynomials

Symbolic-numeric integration

Multiprecision approximate integration of rational functions with error control using two methods:

1) Exact integration followed by a numerical approximation of the integral:

2) Multiprecision partial fraction decomposition (PFD) followed by exact integration (proposed by R. Fateman):

Parallel real root isolation

Parallel univariate real root isolation

Parallel multivariate real root isolation

ORCCA Lab, Department of Computer Science, The University of Western Ontario, London, Ontario, Canada N6A 5B7