[1] | 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>)
|
---|