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