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