1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
//formal
mode(-1)
if addf('1','1')<>'2' then bugmes();quit;end
if addf('1','0')<>'1' then bugmes();quit;end
if addf('0','1')<>'1' then bugmes();quit;end
if addf('0','0')<>'0' then bugmes();quit;end
if addf('1','-1')<>'0' then bugmes();quit;end
if addf('-1','1')<>'0' then bugmes();quit;end
if addf('-1','0')<>'-1' then bugmes();quit;end
if addf('0','-1')<>'-1' then bugmes();quit;end
if addf('1','a')<>'a+1' then bugmes();quit;end
if addf('a','1')<>'a+1' then bugmes();quit;end
if addf('a','0')<>'a' then bugmes();quit;end
if addf('0','a')<>'a' then bugmes();quit;end
if addf('a','-1')<>'a-1' then bugmes();quit;end
if addf('-1','a')<>'a-1' then bugmes();quit;end
if addf('a','b')<>'a+b' then bugmes();quit;end
if addf('a+b','c')<>'a+b+c' then bugmes();quit;end
if addf('c','a+b')<>'c+a+b' then bugmes();quit;end
if addf('a+b','a+b')<>'a+b+a+b' then bugmes();quit;end
if addf('a+b','a-b')<>'a+a' then bugmes();quit;end
if addf('2*a+b','a-b')<>'2*a+a' then bugmes();quit;end
if mulf('1','1')<>'1' then bugmes();quit;end
if mulf('1','0')<>'0' then bugmes();quit;end
if mulf('0','1')<>'0' then bugmes();quit;end
if mulf('0','0')<>'0' then bugmes();quit;end
if mulf('1','-1')<>'-1' then bugmes();quit;end
if mulf('-1','1')<>'-1' then bugmes();quit;end
if mulf('-1','0')<>'0' then bugmes();quit;end
if mulf('0','-1')<>'0' then bugmes();quit;end
if mulf('1','a')<>'a' then bugmes();quit;end
if mulf('a','1')<>'a' then bugmes();quit;end
if mulf('a','0')<>'0' then bugmes();quit;end
if mulf('0','a')<>'0' then bugmes();quit;end
if mulf('a','-1')<>'-a' then bugmes();quit;end
if mulf('-1','a')<>'-a' then bugmes();quit;end
if mulf('a','b')<>'a*b' then bugmes();quit;end
if mulf('a+b','c')<>'(a+b)*c' then bugmes();quit;end
if mulf('c','a+b')<>'c*(a+b)' then bugmes();quit;end
if mulf('a+b','a+b')<>'(a+b)*(a+b)' then bugmes();quit;end
if mulf('2*a+b','a-b')<>'(2*a+b)*(a-b)' then bugmes();quit;end
|
