source: CGBLisp/examples/pappus4.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: 885 bytes
Line 
1(dribble "pappus4.dribble")
2(setf *colored-poly-debug* t)
3(setf *grobner-debug* t)
4
5(string-grobner-system
6"[-C01*C12*V+C00*C12*V+C02*C11*V-C00*C11*V-C02*C10*V+C01*C10*V+1,L20,B21*L20+B11*L10+B01*L00,C20*L20+C10*L10+C00*L00,L21,B22*L21+B12*L11+B02*L01,C21*L21+C11*L11+C01*L01,L22+L02,B20*L22+B10*L12+B00*L02,C20*L22+C10*L12+C00*L02,L23+L03,B22*L23+B12*L13+B02*L03,C22*L23+C12*L13+C02*L03,L24+A02*L04,B20*L24+B10*L14+B00*L04,C21*L24+C11*L14+C01*L04,L25+A02*L05,B21*L25+B11*L15+B01*L05,C22*L25+C12*L15+C02*L05,0,0,0,B20*L27+B10*L17+B00*L07,B21*L27+B11*L17+B01*L07,B22*L27+B12*L17+B02*L07]"
7'(L00 L10 L20 L01 L11 L21 L02 L12 L22 L03 L13 L23 L04 L14 L24 L05 L15 L25 L06 L16 L26 L07 L17 L27 C00 C10 C20 C01 C11 C21 C02 C12 C22 A02 A12 A22 B02 B12 B22 V)
8'(A00 A10 A20 B00 B10 B20 A01 A11 A21 B01 B11 B21)
9:cover
10'(("[]" "[]"))
11:main-order #'grevlex>
12:parameter-order #'grevlex>
13)
14(dribble)
Note: See TracBrowser for help on using the repository browser.