https://github.com/math-comp/multinomials
Multinomials for the Mathematical Components library.
https://github.com/math-comp/multinomials
coq mathcomp polynomials ssreflect
Last synced: 9 months ago
JSON representation
Multinomials for the Mathematical Components library.
- Host: GitHub
- URL: https://github.com/math-comp/multinomials
- Owner: math-comp
- License: other
- Created: 2014-05-12T16:08:33.000Z (almost 12 years ago)
- Default Branch: master
- Last Pushed: 2025-06-21T13:54:23.000Z (9 months ago)
- Last Synced: 2025-06-21T14:39:28.687Z (9 months ago)
- Topics: coq, mathcomp, polynomials, ssreflect
- Language: Rocq Prover
- Homepage:
- Size: 1.34 MB
- Stars: 14
- Watchers: 15
- Forks: 13
- Open Issues: 9
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
A Multivariate polynomial Library for the Mathematical Components Library
========================================================================
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.
Building and installation instructions
------------------------------------------------------------------------
The easiest way to install the latest released version this library is
via [OPAM](https://opam.ocaml.org/doc/Install.html):
```shell
opam repo add coq-released https://coq.inria.fr/opam/released
opam install coq-mathcomp-multinomials
```
If you want to install it manually, do:
``` shell
git clone https://github.com/math-comp/multinomials.git
cd multinomials
make # or make -j
make install
```
Authors
========================================================================
"Pierre-Yves Strub" \
Contributors:
- [Florent Hivert](https://www.lri.fr/~hivert/)
- [Laurent Thery](https://www-sop.inria.fr/marelle/personnel/Laurent.Thery/moi.html)
This library is also the result of discussions with:
- Sophie Bernard
- [Cyril Cohen](http://www.cyrilcohen.fr/)
- [Laurence Rideau](http://www-sop.inria.fr/members/Laurence.Rideau/)