source: CGBLisp/examples/billiard31.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: 1.5 KB
Line 
1(string-grobner "[-2*PSI0*PSI1*PSI2+K0*L2*PSI1*PSI2+K0*L1*PSI1*PSI2+K0*L0*PSI1*PSI2
2 +2*K1*L2*PSI0*PSI2+2*K1*L0*PSI0*PSI2
3 -2*K0*K1*L1*L2*PSI2-2*K0*K1*L0*L1*PSI2
4 +2*K2*L0*PSI0*PSI1-2*K0*K2*L0*L2*PSI1
5 -2*K0*K2*L0*L1*PSI1-4*K1*K2*L0*L2*PSI0
6 +4*K0*K1*K2*L0*L1*L2,
7 2*K0*PSI0*PSI1*PSI2-K0^2*L2*PSI1*PSI2-K0^2*L1*PSI1*PSI2
8 -K0^2*L0*PSI1*PSI2+2*K1*PSI0^2*PSI2
9 -2*K0*K1*L2*PSI0*PSI2-2*K0*K1*L1*PSI0*PSI2
10 -2*K0*K1*L0*PSI0*PSI2+2*K0^2*K1*L1*L2*PSI2
11 +2*K0^2*K1*L0*L1*PSI2+2*K2*PSI0^2*PSI1
12 -2*K0*K2*L2*PSI0*PSI1-2*K0*K2*L1*PSI0*PSI1
13 -2*K0*K2*L0*PSI0*PSI1+2*K0^2*K2*L0*L2*PSI1
14 +2*K0^2*K2*L0*L1*PSI1-4*K1*K2*L2*PSI0^2
15 +4*K0*K1*K2*L1*L2*PSI0+4*K0*K1*K2*L0*L2*PSI0
16 -4*K0^2*K1*K2*L0*L1*L2,
17 -L2*PSI1*PSI2-L1*PSI1*PSI2-L0*PSI1*PSI2+2*K1*L1*L2*PSI2
18 +2*K1*L0*L1*PSI2+2*K2*L0*L2*PSI1+2*K2*L0*L1*PSI1
19 -4*K1*K2*L0*L1*L2,
20 -2*PSI0*PSI1*PSI2+K0*L2*PSI1*PSI2+K0*L1*PSI1*PSI2+K0*L0*PSI1*PSI2
21 +2*K1*L1*PSI0*PSI2-2*K0*K1*L1*L2*PSI2
22 -2*K0*K1*L0*L1*PSI2+2*K2*L2*PSI0*PSI1
23 +2*K2*L1*PSI0*PSI1-2*K0*K2*L0*L2*PSI1
24 -2*K0*K2*L0*L1*PSI1-4*K1*K2*L1*L2*PSI0
25 +4*K0*K1*K2*L0*L1*L2,PSI0^2+PHI0^2-1,PSI1^2+PHI1^2-1,
26 PSI2^2+PHI2^2-1,PSI0^2-PHI0^2+CT1,
27 2*PHI1*PSI1*ST1+CT1*PSI1^2-CT1*PHI1^2+CT2,
28 2*PHI2*PSI2*ST2+CT2*PSI2^2-CT2*PHI2^2+1,ST1+PSI0^2-PHI0^2,
29 ST2-2*PHI1*PSI1*ST1+CT1*PSI1^2-CT1*PHI1^2,
30 -2*PHI2*PSI2*ST2+CT2*PSI2^2-CT2*PHI2^2,CT2*L2+CT1*L1+L0,L2*ST2+L1*ST1]"
31 "[K0,K1,K2,L0,L1,L2,PSI0,PSI1,PSI2,PHI0,PHI1,PHI2,CT1,CT2,ST1,ST2]"
32 :order #'grevlex>)
Note: See TracBrowser for help on using the repository browser.