ID: 510.0 Parent: 505.0 Tree
Exchanged to:
512.0
2<->x17-1
PDER
VAR\IND x16 x17 x15 x4
x4 0 0 0 1
x15 0 0 1 0
x16 1 0 0 0
x17 0 1 0 0
FOCUS
x17^4*x16^6*x15^3*x4^6-x15^3*x16^6*x17^3*x4^6
x15*x16^2*x17*x4
x17^2*x16^3*x15*x4
x15^2*x17^2*x16^3*x4
x16^2*x15*x17
x15*x16^3*x17^2
x15^2*x17^2*x16^3
x17*x16
x15*x17*x16
x15*x16
x16
DEPempty
MAP
x1 x15*x16^2*x17*x4^2
x2 x17^2*x16^3*x15*x4^2
x3 x15^2*x17^2*x16^3*x4^2
x4 x4
IMAP
x4 x4
x15 x3/x2
x16 1/x4^2*x1^2/x3
x17 x4^2/x1^3*x3*x2
STACK
WBO (dim: 4)
J
x17-1 1
c 1
Nempty
(E,a)
Ea
x4 4
x17 1
x15 1
x16 2
C empty
TBO (dim: 4)
J
x17-1 1
Nempty
E
x4
x17
x15
x16
EM
x4
C empty
SBO (dim: 4)
J
x17-1 1
Nempty
Hempty
E
x17
x15
x16
C empty
Exchanged to:
512.0
2<->x17-1
ID: 510.0 Parent: 505.0 Tree