ID: 524.0 Parent: 522.0 Tree
Blown up to:
525.0
x17-1
PDER
VAR\IND x16 x15 x17-1 x4
x4 0 0 0 1
x15 0 1 0 0
x16 1 0 0 0
x17 0 0 1 0
FOCUS
x17^4*x16^6*x15^3*x4^6-x15^3*x16^6*x17^3*x4^6
x15*x16^2*x17*x4
x15^2*x17^2*x16^3*x4
x17^2*x16^3*x15*x4
x16^2*x15*x17
x15^2*x17^2*x16^3
x15*x16^3*x17^2
x15*x17*x16
x17*x16
x15*x16
x15
x16
DEPempty
MAP
x1 x15*x16^2*x17*x4^2
x2 x15^2*x17^2*x16^3*x4^2
x3 x17^2*x16^3*x15*x4^2
x4 x4
IMAP
x4 x4
x15 x2/x3
x16 1/x4^2*x1^2/x2
x17 x4^2/x1^3*x3*x2
STACK
WBO (dim: 4)
J
x17-1 1
c 1
Nempty
(E,a)
Ea
x4 4
x17 1
x15 1
x16 2
C empty
TBO (dim: 4)
J
x17-1 1
Nempty
E
x4
x17
x15
x16
EM
x4
C empty
SBO (dim: 4)
J
x17-1 1
Nempty
Hempty
E
x17
x15
x16
C empty
Blown up to:
525.0
x17-1
ID: 524.0 Parent: 522.0 Tree