Data.SBV.Tools.Polynomial
Polynomial arithmetic and CRCs
class
Polynomial
a
crc
crcBV
ites
mdp
addPoly