ID: 196.0 Parent: 6.0 Tree
Blown up to:
199.0 200.0
x11 x12
PDER
VAR\IND x1 x11 x7 x12
x1 1 0 0 0
x7 0 0 1 0
x11 0 1 0 0
x12 0 0 0 1
FOCUS
x1^6*x11^2*x7^7-x12^6*x7^12*x1^6
x11*x7
x11
DEPempty
MAP
x1 x1
x2 x11*x7^2*x1
x3 x7*x1
x4 x12*x7^2*x1
IMAP
x1 x1
x7 x3/x1
x11 x2/x3^2*x1
x12 x4/x3^2*x1
STACK
WBO (dim: 4)
J
-x12^6*x7^5+x11^2 2
c 2
Nempty
(E,a)
Ea
x1 5
x7 5
C empty
TBO (dim: 4)
J
-x12^6*x7^5+x11^2 2
Nempty
E
x1
x7
EM
x1
C empty
SBO (dim: 4)
J
-x12^6*x7^5+x11^2 2
Nempty
Hempty
E
x7
C empty
WBO (dim: 3)
J
-x12^6 6
c 3
N
x11
(E,a)
Ea
x7 5/2
C empty
TBO (dim: 3)
J
-x12^6 6
N
x11
E
x7
EM
x7
C empty
SBO (dim: 3)
J
-x12^6 6
N
x11
Hempty
Eempty
C empty
Blown up to:
199.0 200.0
x11 x12
ID: 196.0 Parent: 6.0 Tree