multinomials/meta.yml at master · math-comp/multinomials · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
---
fullname: A Multivariate polynomial Library for the Mathematical Components Library
shortname: multinomials
opam_name: rocq-mathcomp-multinomials
organization: math-comp
action: true

synopsis: >-
  A Multivariate polynomial Library for the Mathematical Components Library

description: |-
  This library provides a library for monomial algebra, for multivariate
  polynomials over ring structures and an extended theory for polynomials whose
  coefficients range over commutative rings and integral domains.

authors:
- name: Pierre-Yves Strub
  initial: true

opam-file-maintainer: pierre-yves@strub.nu

license:
  fullname: CeCILL-B Free Software License Agreement
  identifier: CECILL-B
  file: CeCILL-B

supported_coq_versions:
  text: 9.0 or later
  opam: '{>= "9.0"}'

tested_coq_nix_versions:

tested_coq_opam_versions:
- version: '2.4.0-rocq-prover-9.0'
  repo: 'mathcomp/mathcomp'
- version: '2.4.0-rocq-prover-9.1'
  repo: 'mathcomp/mathcomp'
- version: '2.5.0-rocq-prover-9.0'
  repo: 'mathcomp/mathcomp'
- version: '2.5.0-rocq-prover-9.1'
  repo: 'mathcomp/mathcomp'
- version: 'rocq-prover-9.0'
  repo: 'mathcomp/mathcomp-dev'
- version: 'rocq-prover-9.1'
  repo: 'mathcomp/mathcomp-dev'
- version: 'rocq-prover-9.2'
  repo: 'mathcomp/mathcomp-dev'
- version: 'rocq-prover-dev'
  repo: 'mathcomp/mathcomp-dev'

dependencies:
- opam:
    name: rocq-mathcomp-ssreflect
    version: '{>= "2.4"}'
  description: |-
    [MathComp](https://math-comp.github.io) ssreflect 2.4 or later
- opam:
    name: rocq-mathcomp-algebra
  description: |-
    [MathComp](https://math-comp.github.io) algebra
- opam:
    name: coq-mathcomp-bigenough
  description: |-
    [MathComp bigenough](https://github.com/math-comp/bigenough)
- opam:
    name: coq-mathcomp-finmap
  description: |-
    [MathComp finmap](https://github.com/math-comp/finmap)

namespace: mathcomp.multinomials

keywords:
- name: multinomials
- name: monoid algebra

categories:
- name: Mathematics/Algebra/Multinomials
- name: Mathematics/Algebra/Monoid algebra

documentation: |-

  ## Credits

  Contributors:

  - [Florent Hivert](https://www.lri.fr/~hivert/)
  - [Laurent Thery](https://www-sop.inria.fr/marelle/personnel/Laurent.Thery/moi.html)

  This library is also the result of discussions with:

  - Sophie Bernard
  - [Cyril Cohen](http://www.cyrilcohen.fr/)
  - [Laurence Rideau](http://www-sop.inria.fr/members/Laurence.Rideau/)

---