ID: 233.0 Parent: 231.0 Tree
Blown up to:
234.0 235.0
x19 x14
PDER
VAR\IND x16 x14 x19
x14 0 1 0
x16 1 0 0
x19 0 0 1
FOCUS
x16^28*x14^42*x19^4-x14^41*x16^28*x19^5
x16^8*x14^12*x19
x16^3*x14^5
x14^2*x16
x14^3*x16^2
x14^5*x19*x16^4
x16^3*x14^3*x19
x14^2*x19*x16^2
x14
x19*x16^2*x14
x19*x16^2
x19*x16
x19
DEPempty
MAP
x1 x16^14*x14^21*x19^2
x2 x14^9*x16^6*x19
x3 x14^16*x16^11*x19^2
IMAP
x14 x2^6/x3^2/x1
x16 x1^2/x2^10*x3^3
x19 x2^7/x1^3
STACK
WBO (dim: 3)
J
x14-x19 1
c 1
Nempty
(E,a)
Ea
x19 2
x14 18
x16 12
C empty
TBO (dim: 3)
J
x14-x19 1
Nempty
E
x19
x14
x16
EM
x19
C empty
SBO (dim: 3)
J
x14-x19 1
Nempty
Hempty
E
x14
x16
C empty
WBO (dim: 2)
J
1 0
c 0
N
x19
(E,a)
Ea
x14 1
x16 0
C empty
Blown up to:
234.0 235.0
x19 x14
ID: 233.0 Parent: 231.0 Tree