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

Description

Tags

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

Published: 19 Jan 2021

Dependencies (2)

  1. coq-mathcomp-algebra
  2. dune >= "2.5"

Dev Dependencies (4)

  1. coq-mathcomp-finmap (>= "1.5" & < "1.6~") | = "dev"
  2. coq-mathcomp-bigenough (>= "1.0" & < "1.1~") | = "dev"
  3. coq-mathcomp-ssreflect (>= "1.12" & < "1.14~") | = "dev"
  4. coq (>= "8.10" & < "8.15~") | = "dev"

Used by (2)

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

Conflicts (1)

  1. coq-native