Mpfrcx

Jul 20, 2023

Arbitrary precision library for arithmetic of univariate polynomials

MPFRCX is a library for the arithmetic of univariate polynomials over arbitrary precision real GNU MPFR or complex GNU MPC numbers, without control on the rounding. The functions implemented are not very numerous and somewhat idiosyncratic the main motivation behind the library is to have functionality available for the floating-point approach to complex multiplication. However, asymptotically fast routines such as Toom-Cook and the FFT for multiplication of polynomials are available, as well as fast routines for interpolation and evaluation based on trees of polynomials.



Checkout these related ports:
  • Zn_poly - C library for polynomial arithmetic
  • Zimpl - Language to translate the LP models into .lp or .mps
  • Zegrapher - Software for plotting mathematical objects
  • Zarray - Dynamically typed N-D expression system based on xtensor
  • Z3 - Z3 Theorem Prover
  • Yices - SMT solver
  • Yacas - Yet Another Computer Algebra System
  • Xtensor - Multi-dimensional arrays with broadcasting and lazy computing
  • Xtensor-python - Python bindings for xtensor
  • Xtensor-io - Xtensor plugin to read/write images, audio files, numpy npz and HDF5
  • Xtensor-blas - BLAS extension to xtensor
  • Xspread - Spreadsheet program for X and terminals
  • Xppaut - Graphical tool for solving differential equations, etc
  • Xplot - X11 plotting package
  • Xlife++ - XLiFE++ eXtended Library of Finite Elements in C++