ID: 174.0 Parent: 167.0 Tree
Blown up to:
224.0 225.0 226.0
x13 x14 x12
PDER
VAR\IND x12 x14 x13
x12 1 0 0
x13 0 0 1
x14 0 1 0
FOCUS
x12^20*x14^14*x13^4-x14^13*x12^18*x13^5
x12^6*x14^4*x13
x12^3*x14^2
x14*x12
x12^2*x14
x13*x12^2*x14
x13*x12
x13
x14
DEPempty
MAP
x1 x12^10*x14^7*x13^2
x2 x14^3*x12^4*x13
x3 x14^5*x12^7*x13^2
IMAP
x12 x1/x2^4*x3
x13 x3^2/x2/x1
x14 x2^6/x3^2/x1
STACK
WBO (dim: 3)
J
x12^2*x14-x13 1
c 1
Nempty
(E,a)
Ea
x13 2
x14 6
x12 8
C empty
TBO (dim: 3)
J
x12^2*x14-x13 1
Nempty
E
x13
x14
x12
EM
x13
C empty
SBO (dim: 3)
J
x12^2*x14-x13 1
Nempty
Hempty
E
x14
x12
C empty
WBO (dim: 2)
J
x14 1
c 1
N
x13
(E,a)
Ea
x14 0
x12 2
C empty
TBO (dim: 2)
J
x14 1
N
x13
E
x14
x12
EM
x14
x12
C empty
SBO (dim: 2)
J
x14 1
N
x13
H
x14
x12
Eempty
C empty
Blown up to:
224.0 225.0 226.0
x13 x14 x12
ID: 174.0 Parent: 167.0 Tree