ID: 26.0 Parent: 22.0 Tree
Exchanged to:
29.0
2<->x11^2-x12
PDER
VAR\IND x11 x2 x10
x2 0 1 0
x10 0 0 1
x11 1 0 0
x12 0 -x12^2 0
FOCUS
x2^8*x11^2*x10^2-x2^7*x10^2
x2^3*x11*x10
x2^2*x11*x10
x2*x11
x10
DEP
x12*x2-1
MAP
x1 x2^4*x11*x10
x2 x2
x3 x2^3*x10
IMAP
x2 x2
x10 x3/x2^3
x11 x1/x3/x2
x12 1/x2
STACK
WBO (dim: 3)
J
x11^2*x2-1 1
c 1
Nempty
(E,a)
Ea
x10 1
C empty
TBO (dim: 3)
J
x11^2*x2-1 1
Nempty
E
x10
EM
x10
C empty
SBO (dim: 3)
J
x11^2*x2-1 1
Nempty
Hempty
Eempty
C empty
WBO (dim: 2)
J
x11^2*x2-1 1
c 1
N
x10
(E,a)empty
C empty
TBO (dim: 2)
J
x11^2*x2-1 1
N
x10
Eempty
EMempty
C empty
SBO (dim: 2)
J
x11^2*x2-1 1
N
x10
Hempty
Eempty
C empty
Exchanged to:
29.0
2<->x11^2-x12
ID: 26.0 Parent: 22.0 Tree