i2 : p=pureResTC1(d,ZZ/32003)
o2 = | -x_(0,1,0,0)x_(1,0,0,0)+x_(0,0,0,0)x_(1,1,0,0) -x_(0,1,0,0)x_(2,0,0,0)+x_(0,0,0,0)x_(2,1,0,0) -x_(1,1,0,0)x_(2,0,0,0)+x_(1,0,0,0)x_(2,1,0,0) -x_(0,1,0,0)x_(3,0,0,0)+x_(0,0,0,0)x_(3,1,0,0) -x_(1,1,0,0)x_(3,0,0,0)+x_(1,0,0,0)x_(3,1,0,0) -x_(2,1,0,0)x_(3,0,0,0)+x_(2,0,0,0)x_(3,1,0,0) -x_(0,1,0,0)x_(4,0,0,0)+x_(0,0,0,0)x_(4,1,0,0) -x_(1,1,0,0)x_(4,0,0,0)+x_(1,0,0,0)x_(4,1,0,0) -x_(2,1,0,0)x_(4,0,0,0)+x_(2,0,0,0)x_(4,1,0,0) -x_(3,1,0,0)x_(4,0,0,0)+x_(3,0,0,0)x_(4,1,0,0) |
| -x_(0,1,1,0)x_(1,0,0,0)-x_(0,1,0,0)x_(1,0,1,0)+x_(0,0,1,0)x_(1,1,0,0)+x_(0,0,0,0)x_(1,1,1,0) -x_(0,1,1,0)x_(2,0,0,0)-x_(0,1,0,0)x_(2,0,1,0)+x_(0,0,1,0)x_(2,1,0,0)+x_(0,0,0,0)x_(2,1,1,0) -x_(1,1,1,0)x_(2,0,0,0)-x_(1,1,0,0)x_(2,0,1,0)+x_(1,0,1,0)x_(2,1,0,0)+x_(1,0,0,0)x_(2,1,1,0) -x_(0,1,1,0)x_(3,0,0,0)-x_(0,1,0,0)x_(3,0,1,0)+x_(0,0,1,0)x_(3,1,0,0)+x_(0,0,0,0)x_(3,1,1,0) -x_(1,1,1,0)x_(3,0,0,0)-x_(1,1,0,0)x_(3,0,1,0)+x_(1,0,1,0)x_(3,1,0,0)+x_(1,0,0,0)x_(3,1,1,0) -x_(2,1,1,0)x_(3,0,0,0)-x_(2,1,0,0)x_(3,0,1,0)+x_(2,0,1,0)x_(3,1,0,0)+x_(2,0,0,0)x_(3,1,1,0) -x_(0,1,1,0)x_(4,0,0,0)-x_(0,1,0,0)x_(4,0,1,0)+x_(0,0,1,0)x_(4,1,0,0)+x_(0,0,0,0)x_(4,1,1,0) -x_(1,1,1,0)x_(4,0,0,0)-x_(1,1,0,0)x_(4,0,1,0)+x_(1,0,1,0)x_(4,1,0,0)+x_(1,0,0,0)x_(4,1,1,0) -x_(2,1,1,0)x_(4,0,0,0)-x_(2,1,0,0)x_(4,0,1,0)+x_(2,0,1,0)x_(4,1,0,0)+x_(2,0,0,0)x_(4,1,1,0) -x_(3,1,1,0)x_(4,0,0,0)-x_(3,1,0,0)x_(4,0,1,0)+x_(3,0,1,0)x_(4,1,0,0)+x_(3,0,0,0)x_(4,1,1,0) |
| -x_(0,1,1,0)x_(1,0,1,0)+x_(0,0,1,0)x_(1,1,1,0) -x_(0,1,1,0)x_(2,0,1,0)+x_(0,0,1,0)x_(2,1,1,0) -x_(1,1,1,0)x_(2,0,1,0)+x_(1,0,1,0)x_(2,1,1,0) -x_(0,1,1,0)x_(3,0,1,0)+x_(0,0,1,0)x_(3,1,1,0) -x_(1,1,1,0)x_(3,0,1,0)+x_(1,0,1,0)x_(3,1,1,0) -x_(2,1,1,0)x_(3,0,1,0)+x_(2,0,1,0)x_(3,1,1,0) -x_(0,1,1,0)x_(4,0,1,0)+x_(0,0,1,0)x_(4,1,1,0) -x_(1,1,1,0)x_(4,0,1,0)+x_(1,0,1,0)x_(4,1,1,0) -x_(2,1,1,0)x_(4,0,1,0)+x_(2,0,1,0)x_(4,1,1,0) -x_(3,1,1,0)x_(4,0,1,0)+x_(3,0,1,0)x_(4,1,1,0) |
ZZ 3 ZZ 10
o2 : Matrix (-----[x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x ]) <--- (-----[x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x , x ])
32003 0,0,0,0 0,0,1,0 0,1,0,0 0,1,1,0 1,0,0,0 1,0,1,0 1,1,0,0 1,1,1,0 2,0,0,0 2,0,1,0 2,1,0,0 2,1,1,0 3,0,0,0 3,0,1,0 3,1,0,0 3,1,1,0 4,0,0,0 4,0,1,0 4,1,0,0 4,1,1,0 32003 0,0,0,0 0,0,1,0 0,1,0,0 0,1,1,0 1,0,0,0 1,0,1,0 1,1,0,0 1,1,1,0 2,0,0,0 2,0,1,0 2,1,0,0 2,1,1,0 3,0,0,0 3,0,1,0 3,1,0,0 3,1,1,0 4,0,0,0 4,0,1,0 4,1,0,0 4,1,1,0
|