source: CGBLisp/examples/alt.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: 320 bytes
Line 
1;; This is supposed to prove that the 3 altitudes of a triangle
2;; intersect at a single point
3(string-grobner-system
4"[U1*Y-V1*X,-X2*Y+U2*Y+V2*X2-V2*X,X*Y3-U3*Y3-X3*Y+U3*Y+V3*X3-V3*X,V1*Y3+U1*X3-U1*X2,V2*Y3-X2*X3+U2*X3,U3*X2-X2*X3]"
5'(x y u1 v1 u2 v2 u3 v3)
6'(x2 x3 y3)
7:main-order #'lex>
8:parameter-order #'grevlex>)
9
Note: See TracBrowser for help on using the repository browser.