ID: 42.0 Parent: 37.0 Tree
Exchanged to:
44.0
1<->x10-1
PDER
VAR\IND x10 x6 x9
x6 0 1 0
x9 0 0 1
x10 1 0 0
FOCUS
x9^6*x10^4*x6^4-x6^4*x9^6*x10^3
x9*x10*x6
x6
x9*x10
x9
DEPempty
MAP
x1 x9^3*x10^2*x6^2
x2 x6^2*x9^2*x10
x3 x6*x10*x9^2
IMAP
x6 x2/x3
x9 x3^2/x1
x10 x1^2/x3^2/x2
STACK
WBO (dim: 3)
J
x10-1 1
c 1
Nempty
(E,a)
Ea
x6 2
x10 1
x9 2
C empty
TBO (dim: 3)
J
x10-1 1
Nempty
E
x6
x10
x9
EM
x6
C empty
SBO (dim: 3)
J
x10-1 1
Nempty
Hempty
E
x10
x9
C empty
Exchanged to:
44.0
1<->x10-1
ID: 42.0 Parent: 37.0 Tree