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.3.tar.gz
sha256=dd07b00ca5ed8b46d3a635d4ca1261948020f615bddfc4d9ac7bdc2842e83604

Description

Tags

keyword:multinomials keyword:monoid algebra category:Mathematics/Algebra date:2019-06-04 logpath:SsrMultinomials

Published: 04 Jun 2019

Dependencies (4)

  1. coq-mathcomp-finmap >= "1.2.1" & < "1.3~"
  2. coq-mathcomp-bigenough >= "1.0.0" & < "1.1~"
  3. coq-mathcomp-algebra >= "1.8.0" & < "1.10~"
  4. 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