Starts dribbling to billiard1.dribble (1995/4/26, 15:1:37).
NIL

>
(trace grobner-gcd)(GROBNER-GCD)

>
(string-grobner-system
"[-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]"
'(X1 Y1 L0 L1 COS0 SIN0 COS1 SIN1) ;variables
'(r1 u1 v1) ;parameters
:main-order #'grevlex>
:parameter-order #'grevlex>
:cover '(("[]" "[]"))
)
Correctable error: Console interrupt.
Signalled by STRING-GROBNER-SYSTEM.
If continued: Type :r to resume execution, or :q to quit to top level.
Broken at SYSTEM:TERMINAL-INTERRUPT.  Type :H for Help.
>>

(dribble)