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

Description

Tags

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

Published: 20 Jan 2020

Dependencies (5)

  1. coq-mathcomp-finmap >= "1.4" & < "1.4.1"
  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.3"
  2. coq-validsdp < "1.0.2"

Conflicts

None