source: CGBLisp/examples/chemistry.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: 271 bytes
Line 
1#|
2This is the xample from Weispfenning paper on p. 26
3|#
4(string-grobner-system
5 "[x4-a4+a2,x1+x2+x3+x4+a1+a3+a4,x1*x3+x1*x4+x2*x3+x3*x4-a1*a4-a1*a3-a3*a4,x1*x3*x4-a1*a3*a4]" '(x1 x2 x3 x4) '(a1 a2 a3 a4)
6:parameter-order #'lex>
7:green-reduce t
8:mark-coefficients nil
9)
Note: See TracBrowser for help on using the repository browser.