source: CGBLisp/examples/euler.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: 474 bytes
Line 
1(string-grobner-system
2"[2*X7-U1-1,2*X8-U2,2*X9-U1,2*X10-U2,2*X11-1,2*X12,U1*X2-X2-U2*X1+U2,U1*X4-U2*X3,X6,U2*X18+U1*X17-X17,U2*X18+U1*X17-U1,X17-U1,U2*X8+U1*X7-X7-U2*X16-U1*X15+X15,U1*X9-U2*X16-U1*X15+U2*X10,X11-X15,X13*X8-X14*X7,-X14*X9+X14+X10*X13-X10,-V*X15*X18+V*X13*X18+V*X16*X17-V*X14*X17-V*X13*X16+V*X14*X15+1]"
3'(X1 X2 X3 X4 X5 X6 X7 X8 X9 X10 X11 X12 X13 X14 X15 X16 X17 X18 V)
4'(U1 U2)
5:cover '(("[]" "[u2]"))
6:main-order #'grevlex>
7:parameter-order #'grevlex>
8)
Note: See TracBrowser for help on using the repository browser.