source: CGBLisp/examples/apollonius3.lisp@ 1

(warn "Test 6 - Circle of Apollonius")
(string-grobner-system 
 "[2*x1-u1,2*x2-u2,2*x3-u1,2*x4-u2,x5*u1-x6*u2,x5*u2+x6*u1-u1*u2,x1^2-2*x1*x7+x7^2+x8^2-x7^2-x8^2+2*x8*x2-x2^2,x1^2-2*x1*x7+x7^2+x6^2-2*x6*x8+x8^2-x3^2+2*x3*x7-x7^2-x4^2+2*x4*x8-x8^2,1-s*x5^2+2*s*x5*x7-s*x7^2-s*x6^2+2*s*x6*x8-s*x8^2+s*x1^2-2*s*x1*x7+s*x7^2+s*x8^2]"
 '(s x1 x2 x3 x4 x5 x6 x7 x8 u1)        ;vars
 '(u2)                                  ;parameters
 :cover (list (list "[]" "[u2]"))
 )