heh icon indicating copy to clipboard operation
heh copied to clipboard

Published 20 hours ago • verified publisher icon ashinkarov

Bug in ordinals division

Open MaximilianAlgehed opened this issue 6 years ago • 1 comments

Hi, just dropping this here to let you know there is a bug in your implementation of ordinal divmod, ordinals.ml:187 should probably be the ratio of the two different coefficients.

MaximilianAlgehed avatar May 21 '18 08:05 MaximilianAlgehed

I don't think so. I guess this is just a funny way to say that c = 1. Otherwise, can you give a counter example where you think this code breaks?

ashinkarov avatar May 29 '18 13:05 ashinkarov