This library provides a library for monomial algebra,for multivariate polynomials over ring structures and an extended theory for polynomials whose coefficients range over commutative rings and integral domains.
The easiest way to install the latest released version this library is via OPAM:
opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-mathcomp-multinomialsIf you want to install it manually, do:
git clone https://github.com/math-comp/multinomials.git
cd multinomials
make # or make -j <number-of-cores-on-your-machine>
make install"Pierre-Yves Strub" <pierre-yves@strub.nu>
Contributors:
This library is also the result of discussions with:
- Sophie Bernard
- Cyril Cohen
- Laurence Rideau