Existing library for Polynomial representation


I am looking for an existing library to store polynomials, add them, check for equality, and be able to replace an unknown in the polynomial by another polynomial and normalize the expression. The ultimate goal is to be able to resonate about equality of arithmetic expressions (+,-,*) on type variables for a programming language. I have seen https://www.lri.fr/~filliatr/ftp/ocaml/ds/poly.ml.html but seems a bit limited. Hence, I would appreciate and advice regarding existing libraries for this task.


I have “recently” started this project

whose ultimate goal if mainly to deal with polynomials in many variables.
But it can do what you mention.
1 Like