source: CGBLisp/trunk/examples/billiard1.dribble@ 74

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

First import of a version circa 1997.
File size: 934 bytes
Line 
1Starts dribbling to billiard1.dribble (1995/4/26, 15:1:37).
2NIL
3
4>
5(trace grobner-gcd)(GROBNER-GCD)
6
7>
8(string-grobner-system
9"[-Y1^2+2*V1*Y1-X1^2+2*U1*X1-V1^2-U1^2+R1^2,-Y1^2-X1^2+L0^2,-Y1^2-X1^2+L1^2,SIN0^2+COS0^2-1,-Y1^2-X1^2+L0^2,COS0*L0-X1,Y1+L0*SIN0,SIN1^2+COS1^2-1,-Y1^2+2*V1*Y1-X1^2+2*U1*X1-V1^2-U1^2+R1^2,-Y1^2-X1^2+L1^2,-Y1^2+V1*Y1-X1^2+U1*X1+COS1*L1*R1,-U1*Y1+V1*X1+L1*R1*SIN1,SIN0^2+COS0^2-1,-Y1^2-X1^2+L1^2,COS0*L1-X1,L1*SIN0-Y1,SIN1^2+COS1^2-1,-Y1^2-X1^2+L0^2,-Y1^2+2*V1*Y1-X1^2+2*U1*X1-V1^2-U1^2+R1^2,-Y1^2+V1*Y1-X1^2+U1*X1+COS1*L0*R1,U1*Y1-V1*X1+L0*R1*SIN1]"
10'(X1 Y1 L0 L1 COS0 SIN0 COS1 SIN1) ;variables
11'(r1 u1 v1) ;parameters
12:main-order #'grevlex>
13:parameter-order #'grevlex>
14:cover '(("[]" "[]"))
15)
16Correctable error: Console interrupt.
17Signalled by STRING-GROBNER-SYSTEM.
18If continued: Type :r to resume execution, or :q to quit to top level.
19Broken at SYSTEM:TERMINAL-INTERRUPT. Type :H for Help.
20>>
21
22(dribble)
Note: See TracBrowser for help on using the repository browser.