Home

Welcome to the ocaml-pari wiki!

Library's goal

The goal of this light wrapper over the Pari C library is to offer a thin layer of static typing to not only encode part of the written documentation into types but to encode actual invariants to prevent mismatches between functions and arguments. E.g., to prevent from multiplying a group element by a polynomial.