ID: 19 Parent: 4 Tree
Blown up to:
47 48 49
x(5) x(7) x(6)
PDER
VAR\RSOP x(6) x(7) x(5)
x(5) 0 0 1
x(6) 1 0 0
x(7) 0 1 0
DEP 
MAP
x(1)x(5)^2*x(6)*x(7)
x(2)x(5)*x(7)
x(3)x(5)^2*x(7)
IMAP
x(5)(x(3))/(x(2))
x(7)(x(2)^2)/(x(3))
x(6)(x(1))/(x(3))
FOCUS
x(5)^4*x(6)^2*x(7)^2-x(5)^4*x(7)^3
x(5)*x(6)
x(5)
x(6)
STACK
WBO (dim: 3)
W 
J
x(6)^2-x(7)1
c1
E,a
x(7)1
x(5)2
TBO (dim: 3)
W 
J
x(6)^2-x(7)1
E
x(7)
x(5)
EM
x(7)
x(5)
SBO (dim: 3)
W 
J
x(7)1
x(5)1
x(6)^2-x(7)1
E 
H
x(5)
x(7)
WBO (dim: 2)
W
x(5)
J
x(7)1
x(6)^2-x(7)1
c1
E,a 
H
x(7)
TBO (dim: 2)
W
x(5)
J
x(7)1
x(6)^2-x(7)1
E 
EM 
H
x(7)
SBO (dim: 2)
W
x(5)
J
x(7)1
x(6)^2-x(7)1
E 
H
x(7)
WBO (dim: 1)
W
x(5)
x(7)
J
x(6)^22
c2
E,a 
TBO (dim: 1)
W
x(5)
x(7)
J
x(6)^22
E 
EM 
SBO (dim: 1)
W
x(5)
x(7)
J
x(6)^22
E 
Blown up to:
47 48 49
x(5) x(7) x(6)
ID: 19 Parent: 4 Tree