ID: 362.0 Parent: 360.0 Tree
Blown up to:
363.0 364.0
x18 x16
PDER
VAR\IND x16 x18 x14
x14 0 0 1
x16 1 0 0
x18 0 1 0
FOCUS
x16^18*x14^32*x18^2-x14^31*x18^3*x16^17
x16^4*x14^7
x16^3*x14^5
x16^4*x14^7*x18
x14^3*x16^2
x16^2*x14^3*x18
x14^2*x18*x16
x14
x18*x16*x14
x18*x16
x18
DEPempty
MAP
x1 x16^9*x14^16*x18
x2 x14^9*x16^5*x18
x3 x14^11*x16^6*x18
IMAP
x14 x3^4/x2^3/x1
x16 x1^2/x3^7*x2^5
x18 x2^3/x1/x3
STACK
WBO (dim: 3)
J
x16*x14-x18 1
c 1
Nempty
(E,a)
Ea
x18 1
x14 13
x16 7
C empty
TBO (dim: 3)
J
x16*x14-x18 1
Nempty
E
x18
x14
x16
EM
x18
C empty
SBO (dim: 3)
J
x16*x14-x18 1
Nempty
Hempty
E
x14
x16
C empty
WBO (dim: 2)
J
1 0
c 0
N
x18
(E,a)
Ea
x14 1
x16 1
C empty
Blown up to:
363.0 364.0
x18 x16
ID: 362.0 Parent: 360.0 Tree