source: CGBLisp/examples/apollonius1.lisp@ 1

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: 224 bytes
Line 
1;; An automatic proof of the Apollonius Circle Theorem
2;; Comprehensive Grobner Basis approach
3(string-grobner-system "[x1*u1-x2*u2, -x1*u2-u1*x2+u1*u2,
4 1-s*(2*x2^2-u2*x2+2*x1^2-u1*x1)]"
5 '(s x1 x2) '(u1 u2))
Note: See TracBrowser for help on using the repository browser.