3 ms·
> Interestingly, it seems division by zero is impossible, because there is no suitable remainder. Excercise: However, this algorithm still terminates and compu
by Joker_vD 2y ago
> Interestingly, it seems division by zero is impossible, because there is no suitable remainder.
Excercise: However, this algorithm still terminates and computes something, when provided with d == 0. What does it compute? Strengthen the postcondition with this information and adjust the proof accordingly.