source: CGBLisp/examples/klee.out@ 1

Last change on this file since 1 was 1, checked in by Marek Rychlik, 15 years ago

First import of a version circa 1997.
File size: 294 bytes
Line 
1
2[Y1^2-P^2*X1^2+X1^2+P^2-1,Y2^2-P^2*X2^2+X2^2+P^2-1,-Y1^2-X1^2-2*P*X1+R1^2-P^2,-Y2^2-X2^2-2*P*X2+S1^2-P^2,X1*Y2+P*Y2-X2*Y1-P*Y1,-P^2*U+U-2,-R1^4*S1^4*U^4*V+2*R1^2*S1^4*U^2*V+2*R1^4*S1^2*U^2*V-S1^4*V+2*R1^2*S1^2*V-R1^4*V+1];
3[X1,Y1,X2,Y2,R1,R2,S1,S2,U,V];
4[P];
5[[],[P,X2*Y2-X1*Y2-X2*Y1+X1*Y1]];
Note: See TracBrowser for help on using the repository browser.