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

Description

Tags

keyword:multinomials keyword:monoid algebra category:Math/Algebra/Multinomials category:Math/Algebra/Monoid algebra logpath:SsrMultinomials

Published: 28 Dec 2020

Dependencies (6)

  1. coq-mathcomp-finmap >= "1.5" & < "1.6~"
  2. coq-mathcomp-bigenough >= "1.0" & < "1.1~"
  3. coq-mathcomp-algebra
  4. coq-mathcomp-ssreflect >= "1.12" & < "1.13~"
  5. dune >= "2.5"
  6. coq >= "8.10" & < "8.13~"

Dev Dependencies

None

Used by (2)

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

Conflicts (1)

  1. coq-native