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
|
>>> old_IS:= {[i,j]: 1 <= i <= 8 & 1 <= j <= 4};
>>> T1:={[i,j] -> [j-i+8,i,0]};
>>> T2:={[i,j] -> [i+j-1,i,1]};
>>> n1:= T1 \ old_IS;
>>> n1;
{[i,j] -> [j-i+8,i,0] : 1 <= i <= 8 && 1 <= j <= 4}
>>> n2:= T2 \ old_IS;
>>> n2;
{[i,j] -> [i+j-1,i,1] : 1 <= i <= 8 && 1 <= j <= 4}
>>> codegen T1:old_IS,T2:old_IS;
for(t1 = 1; t1 <= 11; t1++) {
for(t2 = max(t1-3,1); t2 <= min(t1,-t1+8); t2++) {
s2(t2,t1-t2+1);
}
for(t2 = max(-t1+9,1); t2 <= min(-t1+12,t1-4); t2++) {
s1(t2,t1+t2-8);
}
for(t2 = max(-t1+9,t1-3); t2 <= min(-t1+12,t1); t2++) {
s1(t2,t1+t2-8);
s2(t2,t1-t2+1);
}
for(t2 = max(-t1+9,t1+1); t2 <= min(-t1+12,8); t2++) {
s1(t2,t1+t2-8);
}
for(t2 = max(t1-3,-t1+13); t2 <= min(t1,8); t2++) {
s2(t2,t1-t2+1);
}
}
>>> codegen 2 T1:old_IS,T2:old_IS;
for(t1 = 1; t1 <= 3; t1++) {
for(t2 = 1; t2 <= t1; t2++) {
s2(t2,t1-t2+1);
}
for(t2 = -t1+9; t2 <= 8; t2++) {
s1(t2,t1+t2-8);
}
}
for(t2 = 1; t2 <= 4; t2++) {
s2(t2,-t2+5);
}
for(t2 = 5; t2 <= 8; t2++) {
s1(t2,t2-4);
}
for(t2 = 2; t2 <= 3; t2++) {
s2(t2,-t2+6);
}
for(t2 = 4; t2 <= 5; t2++) {
s1(t2,t2-3);
s2(t2,-t2+6);
}
for(t2 = 6; t2 <= 7; t2++) {
s1(t2,t2-3);
}
for(t2 = 3; t2 <= 6; t2++) {
s1(t2,t2-2);
s2(t2,-t2+7);
}
for(t2 = 2; t2 <= 3; t2++) {
s1(t2,t2-1);
}
for(t2 = 4; t2 <= 5; t2++) {
s1(t2,t2-1);
s2(t2,-t2+8);
}
for(t2 = 6; t2 <= 7; t2++) {
s2(t2,-t2+8);
}
for(t2 = 1; t2 <= 4; t2++) {
s1(t2,t2);
}
for(t2 = 5; t2 <= 8; t2++) {
s2(t2,-t2+9);
}
for(t1 = 9; t1 <= 11; t1++) {
for(t2 = 1; t2 <= -t1+12; t2++) {
s1(t2,t1+t2-8);
}
for(t2 = t1-3; t2 <= 8; t2++) {
s2(t2,t1-t2+1);
}
}
|
