ID: 108.0 Parent: 49.0 Tree
Blown up to:
134.0 135.0
x16 x17
PDER
VAR\IND x1 x16 x17 x10
x1 1 0 0 0
x10 0 0 0 1
x16 0 1 0 0
x17 0 0 1 0
FOCUS
x1^6*x16^5*x10^27*x17^3-x10^24*x16^6*x1^6
x17*x10^3
x16*x10^2
x17*x10^2
x16*x10
x16
x17
DEPempty
MAP
x1 x1
x2 x16*x10^3*x1
x3 x17*x10^7*x16*x1
x4 x10^4*x16*x1
IMAP
x1 x1
x10 x4/x2
x16 x2^4/x1/x4^3
x17 x3/x4^4*x2^3
STACK
WBO (dim: 4)
J
x17^3*x10^3-x16 1
c 1
Nempty
(E,a)
Ea
x1 5
x16 4
x10 14
C empty
TBO (dim: 4)
J
x17^3*x10^3-x16 1
Nempty
E
x1
x16
x10
EM
x1
x16
C empty
SBO (dim: 4)
J
x17^3*x10^3-x16 1
Nempty
Hempty
E
x10
C empty
WBO (dim: 3)
J
x17^3 3
c 3
N
x16
(E,a)
Ea
x10 3
C empty
TBO (dim: 3)
J
x17^3 3
N
x16
E
x10
EM
x10
C empty
SBO (dim: 3)
J
x17^3 3
N
x16
Hempty
Eempty
C empty
Blown up to:
134.0 135.0
x16 x17
ID: 108.0 Parent: 49.0 Tree