source: CGBLisp/examples/klee2.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: 277 bytes
Line 
1
2[R1^4*S1^4*U^4-2*R1^2*S1^4*U^2-2*R1^4*S1^2*U^2+S1^4-2*R1^2*S1^2+R1^4];
3[];
4[P,U,X1,Y1,X2,Y2,R1,R2,S1,S2];
5[[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],[P,X2*Y2-X1*Y2-X2*Y1+X1*Y1]];
Note: See TracBrowser for help on using the repository browser.