ID: 227.0 Parent: 214.0 Tree
Exchanged to:
230.0
2<->4*x19-1
PDER
VAR\IND x12 x19 x16^2-1 x4
x4 0 0 0 1
x8 (3/2*x12^6*x19^2*(x1
6^2-1)^2-1/2*x16*x12
^6*x19^2*(x16^2-1)^2
)*x19*x12^2*(x16^2-1
)-x16*x19^3*x12^8*(x
16^2-1)^3+2*x19*x12*
(x16^2-1)*(-x16*x12^
7*x19^2*(x16^2-1)^2+
x12*(3/2*x12^6*x19^2
*(x16^2-1)^2-1/2*x16
*x12^6*x19^2*(x16^2-
1)^2))
(-x16*x12^7*x19^2*(x
16^2-1)^2+x12*(3/2*x
12^6*x19^2*(x16^2-1)
^2-1/2*x16*x12^6*x19
^2*(x16^2-1)^2))*x12
^2*(x16^2-1)
-1/2*x17*x12^9*x19^3
*(x16^2-1)^3+x19*x12
^2*(-x16*x12^7*x19^2
*(x16^2-1)^2+x12*(3/
2*x12^6*x19^2*(x16^2
-1)^2-1/2*x16*x12^6*
x19^2*(x16^2-1)^2))
0
x12 1 0 0 0
x16 0 0 x17 0
x17 0 0 -2*x17^3 0
x19 0 1 0 0
FOCUS
x12^18*x19^7*(x16^2-1)^7*x4^4+x12^9*x19^3*(x16^2-1)^3*x4^4*x8-x8^2*x4^4
x12^3*x19*(x16^2-1)
x12^5*x19^2*(x16^2-1)^2
x8
x16*x12^6*x19^2*(x16^2-1)^2
x16*x12^4*x19*(x16^2-1)
x12
x16*x12^2
x16*x12
x19*x12*(x16^2-1)
(3/2*x12^6*x19^2*(x16^2-1)^2-1/2*x16*x12^6*x19^2*(x16^2-1)^2)*x19*x12^2*(x16^2-1
)-x16*x19^3*x12^8*(x16^2-1)^3+x19*x12*(x16^2-1)*(-x16*x12^7*x19^2*(x16^2-1)^2+x1
2*(3/2*x12^6*x19^2*(x16^2-1)^2-1/2*x16*x12^6*x19^2*(x16^2-1)^2))
-1/2*x12^9*x19^3*(x16^2-1)^3
x19*x12
x19
DEP
x19^3*x12^9*(x16^2-1)^3*x16-x12^9*x19^3*(x16^2-1)^3+2*x8
2*x17*x16-1
MAP
x1 x12^3*x19*(x16^2-1)*x4
x2 x19^2*x12^5*(x16^2-1)^2*x4
x3 x8*x4
x4 x4
IMAP
x4 x4
x8 x3/x4
x12 x1^2/x2/x4
x16 -(2*x3*x4^2-x1^3)/x1^3
x17 -1/2*x1^3/(2*x3*x4^2-x1^3)
x19 1/4*x1*x2^3/x3/(x3*x4^2-x1^3)
STACK
WBO (dim: 4)
J
4*x19-1 1
c 1
Nempty
(E,a)
Ea
x4 3
x19 1
x16^2-1 1
x12 2
C empty
TBO (dim: 4)
J
4*x19-1 1
Nempty
E
x4
x19
x16^2-1
x12
EM
x4
x19
C empty
SBO (dim: 4)
J
4*x19-1 1
Nempty
Hempty
E
x16^2-1
x12
C empty
Exchanged to:
230.0
2<->4*x19-1
ID: 227.0 Parent: 214.0 Tree