ID: 166.0 Parent: 50.0 Tree
Blown up to:
183.0 184.0
x16 x17
PDER
VAR\IND x1 x17 x16 x15
x1 1 0 0 0
x15 0 0 0 1
x16 0 0 1 0
x17 0 1 0 0
FOCUS
x1^6*x17^5*x15^35*x16^19-x15^36*x16^18*x17^6*x1^6
x15^3*x16^2
x16*x15^2*x17
x16*x15
x17*x15
x15
x16
x17
DEPempty
MAP
x1 x1
x2 x17*x15^4*x16^2*x1
x3 x16^5*x15^9*x17*x1
x4 x15^6*x16^3*x17*x1
IMAP
x1 x1
x15 x4^3/x2^2/x3
x16 x3^2*x2^3/x4^5
x17 x2^3/x1/x4^2
STACK
WBO (dim: 4)
J
-x17*x15+x16 1
c 1
Nempty
(E,a)
Ea
x1 5
x17 4
x16 10
x15 19
C empty
TBO (dim: 4)
J
-x17*x15+x16 1
Nempty
E
x1
x17
x16
x15
EM
x1
x17
x16
C empty
SBO (dim: 4)
J
-x17*x15+x16 1
Nempty
Hempty
E
x15
C empty
WBO (dim: 3)
J
-x17 1
c 1
N
x16
(E,a)
Ea
x15 1
C empty
TBO (dim: 3)
J
-x17 1
N
x16
E
x15
EM
x15
C empty
SBO (dim: 3)
J
-x17 1
N
x16
Hempty
Eempty
C empty
Blown up to:
183.0 184.0
x16 x17
ID: 166.0 Parent: 50.0 Tree