source: CGBLisp/examples/pappus3.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: 440 bytes
Line 
1(dribble "pappus3.dribble")
2(setf *colored-poly-debug* t)
3(setf *grobner-debug* nil)
4
5(string-grobner-system
6"[U1*W2-V1*Z2,V1*Z1-U1*W1+W1-V1,-V3*Z3+U3*W3-W3+V3,-V3*Z2-W2*X3+V3*X3+U3*W2,V2*Z1+W1*X3-V2*X3-U2*W1,U2*W3-V2*Z3,W1-K*Z1-L,W2-K*Z2-L,W3-K*Z3-L,-S*U2*V3+S*U1*V3+S*U3*V2-S*U1*V2-S*U3*V1+S*U2*V1+1]"
7'(S U1 V1 U2 V2 U3 V3 z1 w1 z2 w2 Z3 W3)
8'(x3 k l)
9:cover '(("[]" "[]"))
10:main-order #'grevlex>
11:parameter-order #'grevlex>
12)
13(dribble)
Note: See TracBrowser for help on using the repository browser.