Test Cases numtheo

Jan Burse, created Nov 01. 2018

1 Predikate ulp/2

2 Predikate gcd/3

3 Predikate lcm/3

4 Predikate isqrt/2

5 Predikate sqrtrem/3

6 Predikate iroot/3

7 Predikate rootrem/4

Comments