Closed MathisGD closed 1 year ago
Trying to formally prove CompoundMath (#59), I realized that some computations on the div functions where unnecessary.
div
Instead of doing SCALE x x / y / WAD, we can simply do WAD x x / y.
SCALE
x
y
WAD
Note that I didn't modified the non-overflowing test, because we are comparing against Compound's library (in fact not really).
Amazing ! thanks
MathisGD
commented
1 year ago MathisGD
commented
1 year ago
Trying to formally prove CompoundMath (#59), I realized that some computations on the
divfunctions where unnecessary.Instead of doing
SCALExx/y/WAD, we can simply doWADxx/y.Note that I didn't modified the non-overflowing test, because we are comparing against Compound's library (in fact not really).