package rocq-mathcomp-multinomials
A Multivariate polynomial Library for the Mathematical Components Library
Install
Dune Dependency
Authors
Maintainers
Sources
2.5.0.tar.gz
sha512=46a190bf1c9ff2ca07b138e44df98bd13b8fc56d909a564be26cc8138d15f601d53dcc6c2c682d906257a9cef41a437ee3b3a5a75b4f4ebca80f3ba18c02a65e
Description
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.
Tags
keyword:multinomials keyword:monoid algebra category:Mathematics/Algebra/Multinomials category:Mathematics/Algebra/Monoid algebra logpath:mathcomp.multinomialsPublished: 24 Jul 2026
Dependencies (2)
- rocq-mathcomp-algebra
-
rocq-core
>= "9.0" & < "9.4~"
Dev Dependencies (3)
-
rocq-mathcomp-finmap
(>= "2.0" & < "2.3~") | = "dev" -
rocq-mathcomp-bigenough
(>= "1.0" & < "1.1~") | = "dev" -
rocq-mathcomp-ssreflect
(>= "2.4" & < "2.7~") | = "dev"
Used by (1)
-
coq-mathcomp-multinomials
>= "2.5.0"
Conflicts (1)
-
coq-mathcomp-multinomials
<= "2.4.0"