ID: 295.0 Parent: 284.0 Tree
Blown up to:
300.0 301.0
x20 x19
PDER
VAR\IND x1 x19 x20 x16
x1 1 0 0 0
x16 0 0 0 1
x19 0 1 0 0
x20 0 0 1 0
FOCUS
x1^6*x19^25*x16^18*x20^23-x16^18*x20^24*x19^24*x1^6
x16^4*x19^5*x20^4
x19^4*x16^3*x20^3
x20^2*x19^2*x16
x19^3*x16^2*x20^2
x20*x19
x19^2*x16^2*x20
x19^2*x16*x20
x19*x16
x19
x20
DEPempty
MAP
x1 x1
x2 x19^8*x16^6*x20^7*x1
x3 x16^2*x20^3*x19^3*x1
x4 x16^3*x20^4*x19^4*x1
IMAP
x1 x1
x16 x4^3/x3^4*x1
x19 1/x4^4*x2*x3^3
x20 1/x1*x4^2/x2
STACK
WBO (dim: 4)
J
x19-x20 1
c 1
Nempty
(E,a)
Ea
x1 5
x20 16
x16 12
x19 16
C empty
TBO (dim: 4)
J
x19-x20 1
Nempty
E
x1
x20
x16
x19
EM
x1
x20
x16
C empty
SBO (dim: 4)
J
x19-x20 1
Nempty
Hempty
E
x19
C empty
WBO (dim: 3)
J
1 0
c 0
N
x20
(E,a)
Ea
x19 1
C empty
Blown up to:
300.0 301.0
x20 x19
ID: 295.0 Parent: 284.0 Tree