ID: 699.0 Parent: 694.0 Tree
Exchanged to:
701.0
4<->x16-1
PDER
VAR\IND x9 x2 x15 x16
x2 0 1 0 0
x9 1 0 0 0
x15 0 0 1 0
x16 0 0 0 1
FOCUS
x9^12*x16^11*x15^18*x2^6-x16^12*x15^18*x9^12*x2^6
x9^3*x16^2*x15^3
x9
x15^2*x16*x9
x16^2*x15^3*x9
x16*x15*x9
x16*x15
x15
DEPempty
MAP
x1 x9^3*x16^2*x15^3*x2
x2 x2
x3 x15^5*x16^3*x9^3*x2
x4 x16^2*x15^3*x9^2*x2
IMAP
x2 x2
x9 x1/x4
x15 1/x4^3*x2*x3^2
x16 1/x1/x3^3*x4^6/x2^2
STACK
WBO (dim: 4)
J
-x16+1 1
c 1
Nempty
(E,a)
Ea
x2 5
x9 8
x16 7
x15 11
C empty
TBO (dim: 4)
J
-x16+1 1
Nempty
E
x2
x9
x16
x15
EM
x2
x9
C empty
SBO (dim: 4)
J
-x16+1 1
Nempty
Hempty
E
x16
x15
C empty
Exchanged to:
701.0
4<->x16-1
ID: 699.0 Parent: 694.0 Tree