Computer algebra package in (or interfaced to) OCaml?

I think I know the answer already (“no”), but just in case: does anybody know of a decent (or even not-so-great) computer algebra package for OCaml ? Searching both opam and Google yields … nothing. Well, it yields GitHub - yliu1021/OCamlCas: Computer Algebra System in OCaml but that seems to be a dead project, and no documentation, so … somewhat leery of diving into it.

1 Like

Not AFAIK but I’d love to see this 95-line symbolic integrator written in OCaml: