ID: 98.0 Parent: 96.0 Tree
Blown up to:
99.0 100.0
x17 x14
PDER
VAR\IND x14 x17 x10 x8
x8 0 0 0 1
x10 0 0 1 0
x14 1 0 0 0
x17 0 1 0 0
FOCUS
x17^4*x10^17*x14^4*x8^3-x14^6*x10^18*x8^3*x17^3
x14*x10^2*x8
x14*x10^2
x10
x17*x10^3*x14
x17*x10^2*x14
x14
x17*x10^2
x17*x10
x17
DEPempty
MAP
x1 x14^2*x10^6*x8*x17
x2 x17*x10^4*x14
x3 x10^5*x8*x17*x14
x4 x8*x17*x10^4*x14
IMAP
x8 x4/x2
x10 x3/x4
x14 x1/x3^2*x4
x17 x2/x3^2*x4^3/x1
STACK
WBO (dim: 4)
J
-x14^2*x10+x17 1
c 1
Nempty
(E,a)
Ea
x17 2
x8 2
x14 2
x10 9
C empty
TBO (dim: 4)
J
-x14^2*x10+x17 1
Nempty
E
x17
x8
x14
x10
EM
x17
x8
C empty
SBO (dim: 4)
J
-x14^2*x10+x17 1
Nempty
Hempty
E
x14
x10
C empty
WBO (dim: 3)
J
-1 0
c 0
N
x17
(E,a)
Ea
x14 2
x10 1
C empty
Blown up to:
99.0 100.0
x17 x14
ID: 98.0 Parent: 96.0 Tree