ID: 33.0 Parent: 23.0 Tree
Blown up to:
83.0 84.0 85.0
x12 x13 x11
PDER
VAR\IND x11 x12 x13
x11 1 0 0
x12 0 1 0
x13 0 0 1
FOCUS
x11^14*x13^8*x12^4-x12^5*x11^12*x13^7
x11^5*x13^3*x12
x11^3*x13^2
x11^2*x13
x12*x11
x12
x13
DEPempty
MAP
x1 x11^7*x13^4*x12^2
x2 x12*x11^2*x13
x3 x13^3*x11^5*x12^2
IMAP
x11 x1/x3^2*x2^2
x12 x2/x1*x3
x13 x3^3/x2^4/x1
STACK
WBO (dim: 3)
J
x11^2*x13-x12 1
c 1
Nempty
(E,a)
Ea
x12 2
x13 3
x11 5
C empty
TBO (dim: 3)
J
x11^2*x13-x12 1
Nempty
E
x12
x13
x11
EM
x12
C empty
SBO (dim: 3)
J
x11^2*x13-x12 1
Nempty
Hempty
E
x13
x11
C empty
WBO (dim: 2)
J
x13 1
c 1
N
x12
(E,a)
Ea
x13 0
x11 2
C empty
TBO (dim: 2)
J
x13 1
N
x12
E
x13
x11
EM
x13
x11
C empty
SBO (dim: 2)
J
x13 1
N
x12
H
x13
x11
Eempty
C empty
Blown up to:
83.0 84.0 85.0
x12 x13 x11
ID: 33.0 Parent: 23.0 Tree