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:
384 bytes
|
Line | |
---|
1 | (setf *colored-poly-debug* t)
|
---|
2 | (setf *grobner-debug* t)
|
---|
3 | (string-grobner-system
|
---|
4 | "[r1+s1-u*r1*s1]"
|
---|
5 | '()
|
---|
6 | '(A X1 Y1 X2 Y2 R1 R2 S1 S2)
|
---|
7 | :cover
|
---|
8 | '(("[-Y1^2-X1^2+2*A*X1+R1^2-A^2,-Y1^2-X1^2-2*A*X1+R2^2-A^2,R2+R1-2,-Y2^2-X2^2+2*A*X2+S1^2-A^2,-Y2^2-X2^2-2*A*X2+S2^2-A^2,S2+S1-2,X1*Y2-A*Y2-X2*Y1+A*Y1,-A^2*U+U-2]"
|
---|
9 | "[A,X1-X2]"
|
---|
10 | ))
|
---|
11 | :main-order #'grevlex>
|
---|
12 | :parameter-order #'grevlex>
|
---|
13 | )
|
---|
Note:
See
TracBrowser
for help on using the repository browser.