Commit 2023-08-21 10:28 2b6f0012
View on Github →feat: char p for mv_polys over semirings (#6697)
This generalises existing instances to apply to CommSemiring
s. It also generalises a whole file that was using unnecessarily strong assumptions.
feat: char p for mv_polys over semirings (#6697)
This generalises existing instances to apply to CommSemiring
s. It also generalises a whole file that was using unnecessarily strong assumptions.