Code

monalg for finmap v1.1#20

Code

Merged

strub merged 9 commits intomath-comp:mastermath-comp/multinomials:masterfrom hivert:Finmap-1.1hivert/multinomials:Finmap-1.1Copy head branch name to clipboardAug 31, 2018

+138-177

Commits

Commits on Aug 28, 2018

• monalg for finmap v1.1

  hivert

  committed
  6e40eec

Commits on Aug 29, 2018

• Avoided finType in fsfun

  hivert

  committed
  23f886d

• replaced [forall m : msupp g ..] by all .. (enum_fset (msupp g)) to get rid of val

  hivert

  committed
  3cd157a

• Alternative statements to msuppM_le

  hivert

  committed
  eb897c0

• Switch back to mathcomp + finset-1.1

  hivert

  committed
  3886c6b

Commits on Aug 31, 2018

• bump opam/finmap version to 1.1.0

  strub

  committed
  f6cec75

• strub

  committed
  1ed6907

• removing irrelevant matrix COQ="8.6.1" MATHCOMP="1.6.1"

  strub

  committed
  e0588f7

• nits

  strub

  committed
  6efa2a3