source:
CGBLisp/examples/klee3.out@
1
Last change on this file since 1 was 1, checked in by , 15 years ago | |
---|---|
File size: 224 bytes |
Line | |
---|---|
1 | |
2 | [-R1*S1*U+S1+R1]; |
3 | []; |
4 | [A,X1,Y1,X2,Y2,R1,R2,S1,S2]; |
5 | [[-Y1^2-X1^2+2*A*X1+R1^2-A^2,-Y1^2-X1^2-2*A*X1+R2^2-A^2,R2+R1-2,-Y2^2-X2^2+2*A*X2+S1^2-A^2,-Y2^2-X2^2-2*A*X2+S2^2-A^2,S2+S1-2,X1*Y2-A*Y2-X2*Y1+A*Y1,-A^2*U+U-2],[A,X1-X2]]; |
Note:
See TracBrowser
for help on using the repository browser.