libmir/mir-algorithm

`BigInt`s cannot divide by each other

ellie-idb opened this issue · 2 comments

ellie-idb commented

ATM, there is no way for me to implement #373 as I require some way to divide a BigInt by another BigInt. @9il, could you implement this?

9il commented

Should be implemented as /=. It is the main part of #373. D. Knut described a good algorithm for that, you can use it or binary shifts for simplicity.

hatf0 commented

OK. I need to do some more research on this (I found the algorithm you're talking about, though).