blob: 28b5e03d931e1b5e04a8fbaaa3e8315dd92384ea (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
||This script defines tests for three properties of div and mod, each
||checked over a small range of values including various combinations
||of signs. Each test should yield the result True, or there is
||something wrong with the arithmetic on your machine!
test1 = and [a div b = entier (a/b) | a,b <- [-15..15]; b~=0]
test2 = and [b*(a div b) + a mod b = a | a,b <- [-15..15]; b~=0]
test3 = and [ ok a b | a,b <- [-15..15]; b~=0]
where
ok a b = 0 <= a mod b < b, if b>0
= b < a mod b <= 0, if b<0
|
