package coq-mathcomp-multinomials

  1. Overview
  2. No Docs
A Multivariate polynomial Library for the Mathematical Components Library

Install

Dune Dependency

github.com Edit opam file Versions (16)

Authors

  1. P
    Pierre-Yves Strub

Maintainers

  1. P
    pierre-yves@strub.nu

Sources

2.2.0.tar.gz
sha512=94fc335517712fd516d0fed3d03ce4a69dca792ce6a97d331d59f0db1ef47c559d2bb72a969ed0ff264e4e5b3cbb86b42c1c67a9567acd549f356a38a37e7fba

Description

Tags

keyword:multinomials keyword:monoid algebra category:Mathematics/Algebra/Multinomials category:Mathematics/Algebra/Monoid algebra logpath:mathcomp.multinomials

Published: 18 Jan 2024

Dependencies (3)

  1. coq-mathcomp-algebra
  2. dune >= "3.8"
  3. coq-elpi < "2.2.1~"

Dev Dependencies (4)

  1. coq-mathcomp-finmap (>= "2.0" & < "2.2~") | = "dev"
  2. coq-mathcomp-bigenough (>= "1.0" & < "1.1~") | = "dev"
  3. coq-mathcomp-ssreflect (>= "2.0" & < "2.3~") | = "dev"
  4. coq (>= "8.16" & < "8.21~") | = "dev"

Conflicts

None