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.4.tar.gz
sha512=b8c4f750063b8764275ea3b0ca12b2bbc16d1c52c5b10bd71ef6d6bb0791ecfb1115681c4379ffe286ab8c550c1965ba08cd2c3a1e5600d8b1a17dee627e2aae

Description

Tags

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

Published: 28 Nov 2019

Dependencies (5)

  1. coq-mathcomp-finmap >= "1.3.4" & < "1.4~"
  2. coq-mathcomp-bigenough >= "1.0.0" & < "1.1~"
  3. coq-mathcomp-algebra
  4. coq-mathcomp-ssreflect (>= "1.8.0" & < "1.11~")
  5. coq >= "8.7" & < "8.12~"

Dev Dependencies

None

Used by (2)

  1. coq-coqeal = "1.0.2"
  2. coq-validsdp < "1.0.2"

Conflicts

None