Hi,
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.
Thanks,
Alfonso.