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

1.5.2.tar.gz
sha512=a4b9feba43fc16f3b4379970bd5309431f7e05a4c95e2a2545db776863ea24dfdc6f15c866b11e17fca94d598da21db06964381c826f226a6debb41fbbac1c1e

Description

Tags

keyword:multinomials keyword:monoid algebra category:Math/Algebra/Multinomials category:Math/Algebra/Monoid algebra date:2020-06-11 logpath:SsrMultinomials

Published: 11 Jun 2020

Dependencies (4)

  1. coq-mathcomp-finmap >= "1.5" & < "1.6~"
  2. coq-mathcomp-bigenough >= "1.0.0" & < "1.1~"
  3. coq-mathcomp-algebra
  4. coq-mathcomp-ssreflect (>= "1.11.0" & < "1.12~")

Dev Dependencies (1)

  1. coq (>= "8.7" & < "8.13~") | (= "dev")

Used by (2)

  1. coq-coqeal >= "1.0.3" & < "1.1.3"
  2. coq-validsdp < "1.0.2"

Conflicts

None