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
|
Line | |
---|
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.