ID: 221.0 Parent: 213.0 Tree
Exchanged to:
223.0
1<->-4+x12*x18
PDER
VAR\IND x12 x15 x18 x4
x4 0 0 0 1
x8 (3/2*x12^4*x15^2-1/2
*x16*x12^4*x15^2)*x1
5*x12-x16*x15^3*x12^
5+x15*(-x16*x12^5*x1
5^2+x12*(3/2*x12^4*x
15^2-1/2*x16*x12^4*x
15^2))
(-x16*x12^5*x15^2+x1
2*(3/2*x12^4*x15^2-1
/2*x16*x12^4*x15^2))
*x12-1/2*x18*x17*x12
^6*x15^3
-1/2*x17*x12^6*x15^4
0
x12 1 0 0 0
x15 0 1 0 0
x16 0 x18*x17 x17*x15 0
x17 0 -2*x17^3*x18 -2*x17^3*x15 0
x18 0 0 1 0
x19 0 0 -x19^2 0
FOCUS
x12^11*x15^7*x4^4+x12^6*x15^3*x4^4*x8-x8^2*x4^4
x12^2*x15
x12^3*x15^2
x8
x16*x12^4*x15^2
x16*x12^3*x15
x12
x16*x12^2
x16*x12
x15
(3/2*x12^4*x15^2-1/2*x16*x12^4*x15^2)*x15*x12-x16*x15^3*x12^5+x15*(-x16*x12^5*x1
5^2+x12*(3/2*x12^4*x15^2-1/2*x16*x12^4*x15^2))
-1/2*x12^6*x15^3
DEP
x15^3*x12^6*x16-x12^6*x15^3+2*x8
2*x17*x16-1
x15*x18-x16^2+1
x19*x18-1
MAP
x1 x12^2*x15*x4
x2 x15^2*x12^3*x4
x3 x8*x4
x4 x4
IMAP
x4 x4
x8 x3/x4
x12 x1^2/x2/x4
x15 x4/x1^3*x2^2
x16 -(2*x3*x4^2-x1^3)/x1^3
x17 -1/2*x1^3/(2*x3*x4^2-x1^3)
x18 4*x3*x4*(x3*x4^2-x1^3)/x1^3/x2^2
x19 1/4*x1^3/x4*x2^2/x3/(x3*x4^2-x1^3)
STACK
WBO (dim: 4)
J
4-x12*x18 1
c 1
Nempty
(E,a)
Ea
x4 3
x12 1
x15 1
C empty
TBO (dim: 4)
J
4-x12*x18 1
Nempty
E
x4
x12
x15
EM
x4
C empty
SBO (dim: 4)
J
4-x12*x18 1
Nempty
Hempty
E
x12
x15
C empty
Exchanged to:
223.0
1<->-4+x12*x18
ID: 221.0 Parent: 213.0 Tree