Issues

• Redefine the monomial structures in monalg.v to inherit their multiplication from monoidType in monoid.v

  enhancement
  math-comp/multinomials#114 · Filter by author pi8027 opened on Aug 25, 2025

• Nix CI and testing reverse dependencies

  help wanted
  math-comp/multinomials#111 · Filter by author pi8027 opened on Aug 21, 2025

• More precise copyrights?

  math-comp/multinomials#59 · Filter by author SnarkBoojum opened on May 17, 2022
  1

• More generic multinomial (Dagstuhl discussion)

  math-comp/multinomials#19 · Filter by author hivert opened on Aug 28, 2018
  22