-
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathinput
139 lines (90 loc) · 3.31 KB
/
input
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
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
{"N", 2 1 (final [0][1]->0)}
{"5", 4 1 ([1]->1) ([1]->2) (final, [0] -> 2 )}
{"0", 2 1 (final [0]->0) }
{"Z>0" Z 2 1
(">0" [0] -> 0, [1] -> 2 )
("≥0 ending in 0" final, [0] -> 1, [1]-> 2 )
("≥0 not ending in 0" [0] -> 1, [1]-> 2)
}
{"5", 4 1 ([1]->1) ([1]->2) (final, [0] -> 2 )}
"Dimension 1"
{"N>0", 3 1
([0] -> 0, [1] -> 1 , [2]-> 1 )
(final, [0] -> 1, [1] -> 1 , [2]-> 1 )}
{"1", 2 1 ([1]->1) (final, [0] -> 1 )}
{"1,5", 4 1
("1,5" [1]->1)
( "0,1" final, [0]-> 2, [1]->2)
("0" final, [0] -> 2 ) }
{"=0 mod2 base 2" 2 1
(final, [0] -> 1 )
(final, [0] -> 1, [1] -> 1 )}
{"=0 mod2 base 3" 3 1
(final, [0] -> 0, [1] -> 1 , [2]-> 0 )
([0] -> 1, [1] -> 0 , [2]-> 1 )}
{"Z-nothing" Z 2 1 () }
{"Z-everything" Z 2 1 ([0] [1] -> 1 )(final, [0] [1] -> 1 ) }
{"Z-everything-incorrect" Z 2 1 (final,[0] [1] -> 0 ) }
{"Z-0" Z 3 1 (final, [0] -> 0 )}
{"<0" Z 3 1
([0] -> 0, [1] -> 2 , [2]-> 2 )
(final, [2] -> 1, [1][0]-> 2 )
([2] -> 1, [1][0]-> 2)
}
"Dimension 2"
{"N2", 2 2 (final, [0,0]->0, [0,1]->0, [1,0]->0, [1,1]->0)}
{"=", 2 2 (final, [0,0]->0, [1,1]->0)}
{"empty2", 2 2 ()}
{"<>", 2 2 ([0,0]->0, [1,1]->0, [1,0]->1, [0,1]->1) (final, [0,0]->1, [1,1]->1, [1,0]->1, [0,1]->1)}
{"<", 2 2 ([.,0] [1,1]->0 [0,1] ->1 ) (final,[0,0]->1, [.,1]->1, [1,0]->0 ) }
{"≤", 2 2 (final, [0,0]->0, [1,1]->0, [0,1]->0, [1,0] ->1 ) ([0,0]->1, [1,1]->1, [0,1]->0, [1,0] ->1 ) }
{"+1", 2 2 ([1,0]->0, [0,1] ->1) (final,[0,0]->1, [1,1]->1) }
{"Z+1" Z 2 2 (final [1,0]->0, [0,1] ->1) (final,[0,0]->1, [1,1]->1) }
{"+-1", 4 2
([0,3]->2,[3,0]->3, [1,0][2,1][3,2][2,3][0,1][1,2] ->1 )
((*equality *) final,[0,0][2,2][3,3][1,1]->1)
((*y+1=x*)[0,3]->2,[3,2][2,1][1,0] -> 1)
((*x+1=y*)[3,0]->3,[2,3][1,2] [0,1] -> 1)}
{"(.,y): y = 1 mod 2", 3 2
([.,0][.,2] -> 0, [.,1]->1)
(final,[.,0][.,2] -> 1, [.,1]->0)
}
{ "x+1=y equiv 0 mod 2" 5 2
([4,0] -> 0 , [1,2][3,4]-> 2 , [0,1][2,3]-> 1)
([0,0][2,2][4,4]->1, [1,1][3,3]->2)
(final, [0,0][2,2][4,4]->2, [1,1][3,3]->1)
}
{"bug 9 " 4 1
(final [0]-> 3,[1]-> 2,[2]-> 4,[3]-> 1)
(final [0]-> 3,[1]-> 3,[2]-> 4,[3]-> 1)
(final [0]-> 2,[1]-> 3,[2]-> 1,[3]-> 1)
(final, [0]-> 3,[1]-> 4,[2]-> 4,[3]-> 4)
( [0]-> 4,[1]-> 4,[2]-> 4,[3]-> 4)
}
{"exemple", 3 2
([2,0] ->3, [.,2] ->9, [0,1][1,1]->4, [2,1]->5)
((*1x=y and y=1 mod 2*) [0,0] [2,2]->1, [1,1]->2)
((*2x=y and y=0 mod 2*) final, [0,0][2,2]->2, [1,1]->1)
((*3x+1=y and y=0 mod 2*)[2,0] -> 3 , [1,2]-> 2 , [0,1]-> 1)
((*4x<y*)[2,.] [.,0][1,1] -> 4, [0,2][1,2][0,1]-> 5)
((*5x<=y*)final, [0,.] [.,2][1,1] -> 5, [2,0][2,1][1,0]-> 4)
((*6y=2 mod 4*)[.,0]->6, [.,1]-> 7, [.,2]-> 9 )
((*7y=3 mod 4*)[.,0]->8, [.,1]-> 6, [.,2]-> 7)
((*8y=1 mod 4*)[.,0]->7, [.,1]-> 9, [.,2]-> 8)
((*9y=0 mod 4*)final, [.,0]->9, [.,1]-> 8, [.,2]-> 6)
}
"Dimension 3"
{"(x,x+1,x+2)", 2 3
([1,0,1]->1, [0,1,0] ->3)
([0,1,1]->2, [1,0,0]->1)
(final, [1,1,1]->2, [0,0,0]->2)
([1,1,0]->3, [0,0,1]->2) }
"relative"
{"-x=y" Z 2 2 ("init" final, [0,0]-> 0,[1,1]->1) ("one" final, [1,0][0,1]->1)}
{"faux" 2 1 (final [0] -> 1,[1]->0) ()}
{"8bis", 4 1
(final, [0]-> 0,[1]-> 2,[2]-> 1,[3]-> 2)
([0]-> 1,[1]-> 1,[2]-> 2,[3]-> 2)
(final [0]-> 2,[1]-> 1,[2]-> 2,[3]-> 2)
}
{"0 dim 5", 2 5 (final [0,0,0,0,0]->0) }