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