ID: 71.0 Parent: 67.0 Tree
Exchanged to:
74.0
2<->x18*x17-1
PDER
VAR\IND x17 x18 x3 x15
x3 0 0 1 0
x15 0 0 0 1
x17 1 0 0 0
x18 0 1 0 0
x19 -x19^2 0 0 0
FOCUS
x17^9*x15^13*(x15*x18+1)^9*x18^4*x3^4+x17^9*x15^12*(x15*x18+1)^9*x18^3*x3^4-x3^4
*x15^12*(x15*x18+1)^10*x17^8*x18^2
x17^3*x15^4*(x15*x18+1)^3*x18
x15^3*x18*x17^2*(x15*x18+1)^2
x15^3*(x15*x18+1)^3*x17^2
x17*x15*(x15*x18+1)
x15^2*(x15*x18+1)^2*x17
x15*(x15*x18+1)
x15
x17*x15
x18
DEP
x19*x17-1
MAP
x1 x17^3*x15^4*(x15*x18+1)^3*x18*x3
x2 x15^3*x18*x17^2*(x15*x18+1)^2*x3
x3 x3
x4 x15^6*(x15*x18+1)^5*x17^4*x18*x3
IMAP
x3 x3
x15 x3*x4*x2/(x1^2*x3+x2^3)
x17 x1^3/x2^2/x4
x18 x2^2/x3^2/x1^2/x4*(x1^2*x3+x2^3)
x19 x4/x1^3*x2^2
STACK
WBO (dim: 4)
J
x18*x17-1 1
c 1
Nempty
(E,a)
Ea
x3 3
x18 1
x15*x18+1 5
x15 6
C empty
TBO (dim: 4)
J
x18*x17-1 1
Nempty
E
x3
x18
x15*x18+1
x15
EM
x3
x18
x15*x18+1
x15
C empty
SBO (dim: 4)
J
x18*x17-1 1
Nempty
Hempty
Eempty
C empty
Exchanged to:
74.0
2<->x18*x17-1
ID: 71.0 Parent: 67.0 Tree