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:
934 bytes
|
Rev | Line | |
---|
[1] | 1 | Starts dribbling to billiard1.dribble (1995/4/26, 15:1:37).
|
---|
| 2 | NIL
|
---|
| 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 | )
|
---|
| 16 | Correctable error: Console interrupt.
|
---|
| 17 | Signalled by STRING-GROBNER-SYSTEM.
|
---|
| 18 | If continued: Type :r to resume execution, or :q to quit to top level.
|
---|
| 19 | Broken at SYSTEM:TERMINAL-INTERRUPT. Type :H for Help.
|
---|
| 20 | >>
|
---|
| 21 |
|
---|
| 22 | (dribble)
|
---|
Note:
See
TracBrowser
for help on using the repository browser.