source: CGBLisp/examples/shash2.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: 552 bytes
Line 
1(setf *grobner-debug* t)
2
3(setf vars '(e1 e2 e3 e4 h1 h2 h3 h4 x1 x2 x3 x4 y1 y2 y3 y4))
4
5(setf ord #'lex>)
6
7(string-ideal-polysaturation
8 "[x1^2+e1+e2*x1+e3*y1+e4*x1*y1,
9 y1^2+h1+h2*x1+h3*y1+h4*x1*y1,
10 x2^2+e1+e2*x2+e3*y2+e4*x2*y2,
11 y2^2+h1+h2*x2+h3*y2+h4*x2*y2,
12 x3^2+e1+e2*x3+e3*y3+e4*x3*y3,
13 y3^2+h1+h2*x3+h3*y3+h4*x3*y3,
14 x4^2+e1+e2*x4+e3*y4+e4*x4*y4,
15 y4^2+h1+h2*x4+h3*y4+h4*x4*y4]"
16 (list "[x1-x2,y1-y2]"
17 "[x1-x3,y1-y3]"
18 "[x1-x4,y1-y4]"
19 "[x2-x3,y2-y3]"
20 "[x2-x4,y2-y4]"
21 "[x3-x4,y3-y4]")
22 vars :order ord)
23
24
25
Note: See TracBrowser for help on using the repository browser.