source: CGBLisp/examples/billiard2.lisp@ 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: 517 bytes
Line 
1(setf *colored-poly-debug* t)
2(setf *grobner-debug* nil)
3(string-grobner-system
4"[1-2*L0*Q0,1-2*L1*Q1,-2*Q1*X1-2*Q0*X1+2*Q1*X0+2*Q0*X0+2*P0*X0,2*Q1*X1+2*Q0*X1+2*P1*X1-2*Q1*X0-2*Q0*X0-2*P1,-2*Q1*Y1-2*Q0*Y1+2*Q1*Y0+2*Q0*Y0+2*P0*Y0,2*Q1*Y1+2*Q0*Y1+2*P1*Y1-2*Q1*Y0-2*Q0*Y0,Y0^2+X0^2-R0^2,Y1^2+X1^2-2*X1-R1^2+1,Y1^2-2*Y0*Y1+Y0^2+X1^2-2*X0*X1+X0^2-L0^2,Y1^2-2*Y0*Y1+Y0^2+X1^2-2*X0*X1+X0^2-L1^2]"
5'(X0 Y0 X1 Y1 L0 L1 P0 P1 Q1 Q0)
6'(R0 R1)
7:cover '(("[r0-1,r1-1]" "[]"))
8:main-order #'grevlex>
9:parameter-order #'grevlex>
10)
11
Note: See TracBrowser for help on using the repository browser.