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: https://www-sop.inria.fr/cafe/Manuel.Bronstein/pmint/index.html
2 Likes