ID: 59.0 Parent: 57.0 Tree
Blown up to:
60.0
x12
PDER
VAR\IND x9 x12 x3
x3 0 0 1
x6 -x10*(3*x6^2*x9^2*x3^4-3*x
6*x9^2*x3^4-2*x9)+2*x12*x1
0*x9
x10*x9^2 -x10*(4*x6^2*x9^3*x3^3-4*x
6*x9^3*x3^3)
x9 1 0 0
x10 -(6*x6*x9^2*x3^4-3*x9^2*x3
^4)*x10^2+2*x10^3*x9^3*x3^
4*(3*x6^2*x9^2*x3^4-3*x6*x
9^2*x3^4-2*x9)-4*x12*x10^3
*x9^4*x3^4
-2*x10^3*x9^5*x3^4 -(8*x6*x9^3*x3^3-4*x9^3*x3
^3)*x10^2+2*x10^3*x9^3*x3^
4*(4*x6^2*x9^3*x3^3-4*x6*x
9^3*x3^3)
x12 0 1 0
FOCUS
x9^2*x3^6*x6^2-x6^3*x3^6+x9^3*x3^10*x6^3-x9^3*x3^10*x6^4
x9*x3^2*x6
x6
x9*x3^2
x9*x3
x9
3*x6^2*x9^2*x3^4-3*x6*x9^2*x3^4-2*x9
x12*x9
x12
DEP
x10*(2*x6*x9^3*x3^4-x9^3*x3^4+1)-1
x12*x9^2-x6^2*x9^3*x3^4+x6*x9^3*x3^4+x9^2-x6
MAP
x1 x9*x3^3*x6
x2 x6*x3
x3 x3
IMAP
x3 x3
x6 x2/x3
x9 x1/x3^2/x2
x10 x2^3*x3^3/(x2^3*x3^3+2*x1^3*x2-x1^3*x3)
x12 (x2^3*x3^3+x1^3*x2-x1^3*x3-x1^2)/x1^2
STACK
WBO (dim: 3)
J
-x12 1
c 1
Nempty
(E,a)
Ea
x6^3*x9^4*x3^8-2*x6^2*x9^4*x3^8-x6*x9^3*x3^4-x6*x9^3*x3^4*x12+x9^4*x3^8*x6+x9^3*x3^4+x9^3*x3^4*x12+x12+1 1
x3 3
x9 2
C empty
TBO (dim: 3)
J
-x12 1
Nempty
E
x6^3*x9^4*x3^8-2*x6^2*x9^4*x3^8-x6*x9^3*x3^4-x6*x9^3*x3^4*x12+x9^4*x3^8*x6+x9^3*x3^4+x9^3*x3^4*x12+x12+1
x3
x9
EM
x6^3*x9^4*x3^8-2*x6^2*x9^4*x3^8-x6*x9^3*x3^4-x6*x9^3*x3^4*x12+x9^4*x3^8*x6+x9^3*x3^4+x9^3*x3^4*x12+x12+1
x3
C empty
SBO (dim: 3)
J
-x12 1
Nempty
Hempty
E
x9
C empty
Blown up to:
60.0
x12
ID: 59.0 Parent: 57.0 Tree