ID: 69.0 Parent: 65.0 Tree
Blown up to:
77.0 78.0
x15 x12
PDER
VAR\IND x12 x15 x14 x8
x8 0 0 0 1
x12 1 0 0 0
x14 0 0 1 0
x15 0 1 0 0
FOCUS
x15^4*x14^9*x12^9*x8^3-x12^12*x14^9*x8^3*x15^3
x12^2*x14*x8
x12^2*x14
x14*x12
x15*x14*x12
x15*x14
x15
DEPempty
MAP
x1 x12^4*x14^3*x8*x15
x2 x15*x14^2*x12^2
x3 x14^3*x12^3*x8*x15
x4 x8*x15*x14^2*x12^2
IMAP
x8 x4/x2
x12 x1/x3
x14 x3^2/x4/x1
x15 x2/x3^2*x4^2
STACK
WBO (dim: 4)
J
-x12^3+x15 1
c 1
Nempty
(E,a)
Ea
x15 2
x8 2
x12 5
x14 5
C empty
TBO (dim: 4)
J
-x12^3+x15 1
Nempty
E
x15
x8
x12
x14
EM
x15
x8
C empty
SBO (dim: 4)
J
-x12^3+x15 1
Nempty
Hempty
E
x12
x14
C empty
WBO (dim: 3)
J
-1 0
c 0
N
x15
(E,a)
Ea
x12 3
x14 0
C empty
Blown up to:
77.0 78.0
x15 x12
ID: 69.0 Parent: 65.0 Tree