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