https://github.com/math-comp/multinomials

Multinomials for the Mathematical Components library.
https://github.com/math-comp/multinomials

coq mathcomp polynomials ssreflect

Last synced: about 1 month 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 (about 10 years ago)
• Default Branch: master
• Last Pushed: 2024-04-23T11:54:31.000Z (3 months ago)
• Last Synced: 2024-05-07T18:06:04.243Z (2 months ago)
• Topics: coq, mathcomp, polynomials, ssreflect
• Language: Coq
• Homepage:
• Size: 1.27 MB
• Stars: 14
• Watchers: 15
• Forks: 11
• Open Issues: 7
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Lists

• my-awesome-stars - math-comp/multinomials - Multinomials for the Mathematical Components library. (Coq)

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/)