ID: 16.0 Parent: 14.0 Tree
Blown up to:
18.0 19.0
x8 x9
PDER
VAR\IND x5 x9 x8
x3 -x7*(2*x5*x3-x5*x9)+x7*x8-
x9*x7*(2*x5*x9*x3-x5)
-x7*(2*x5*x9*x3-x5)*x5 x5*x7
x5 1 0 0
x7 -2*x5*x7^2-2*x9^2*x5*x7^2 -2*x5^2*x9*x7^2 0
x8 0 0 1
x9 0 1 0
FOCUS
x3^3*x5^2+x3^3*x5^2*x9^2+x3^3-x3^2*x5^2*x9
x5
x5*x9
2*x5*x3-x5*x9
2*x5*x9*x3-x5
x8
DEP
x7*(x5^2+x5^2*x9^2+1)-1
x5*x8-x5^2*x3-x5^2*x9^2*x3+x9*x5^2-x3
MAP
x1 x5*x3
x2 x5*x9*x3
x3 x3
IMAP
x3 x3
x5 x1/x3
x7 x3^2/(x2^2+x3^2+x1^2)
x8 1/x3*(x3*x1^2+x3*x2^2+x3^3-x1*x2)/x1
x9 x2/x1
STACK
WBO (dim: 3)
J
x8 1
c 1
Nempty
(E,a)
Ea
-x9^2*x3*x5-x5*x3+x5*x9+x8 1
x5 1
C empty
TBO (dim: 3)
J
x8 1
Nempty
E
-x9^2*x3*x5-x5*x3+x5*x9+x8
x5
EM
-x9^2*x3*x5-x5*x3+x5*x9+x8
C empty
SBO (dim: 3)
J
x8 1
Nempty
Hempty
E
x5
C empty
WBO (dim: 2)
J
x7*x9 1
c 1
N
x8
(E,a)
Ea
x5 1
C empty
TBO (dim: 2)
J
x7*x9 1
N
x8
E
x5
EM
x5
C empty
SBO (dim: 2)
J
x7*x9 1
N
x8
Hempty
Eempty
C empty
Blown up to:
18.0 19.0
x8 x9
ID: 16.0 Parent: 14.0 Tree