ID: 116.0 Parent: 114.0 Tree
Blown up to:
117.0 118.0
x14 x6
PDER
VAR\IND x6 x12 x14
x6 1 0 0
x9 -x10*(5*x9^2*x6^4-x12^2*x6
^2)+x14*x12*x10+2*x12^2*x1
0*x6^2
2*x10*x12*x6^3+x14*x10*x6 x10*x6*x12
x10 -10*x9*x6^4*x10^2+2*x10^3*
x6^5*(5*x9^2*x6^4-x12^2*x6
^2)-2*x14*x12*x10^3*x6^5-4
*x12^2*x10^3*x6^7
-4*x12*x6^8*x10^3-2*x14*x1
0^3*x6^6
-2*x10^3*x6^6*x12
x12 0 1 0
x13 -(10*x9*x6^4*x10^2-2*x10^3
*x6^5*(5*x9^2*x6^4-x12^2*x
6^2)+2*x14*x12*x10^3*x6^5+
4*x12^2*x10^3*x6^7)*x13^2
-4*x12*x6^8*x10^3*x13^2-2*
x14*x10^3*x6^6*x13^2
-2*x10^3*x6^6*x13^2*x12
x14 0 0 1
FOCUS
x6^18*x9^6*x12^6-x9^4*x12^8*x6^16+x6^13*x9^5*x12^6
x12*x6^2
x6
5*x9^2*x6^4-x12^2*x6^2
-2*x12*x6^2
x14*x12
x14
DEP
x10*(2*x9*x6^5+1)-1
x14*x6*x12-x9^2*x6^5+x12^2*x6^3-x9
x13*(-x10-1)-1
MAP
x1 x9*x12*x6^3
x2 x6^4*x12^2*x9
x3 x9*x12*x6^2
IMAP
x6 x1/x3
x9 x3^2/x2
x10 x2*x3^3/(2*x1^5+x2*x3^3)
x12 x2/x1^2*x3
x13 -1/2*(2*x1^5+x2*x3^3)/(x1^5+x2*x3^3)
x14 (x1^6-x2^4+x1*x2*x3^3)/x2^3/x3
STACK
WBO (dim: 3)
J
x14 1
c 1
Nempty
(E,a)
Ea
-2*x6^7*x9*x13*x12-2*x6^7*x9*x12-2*x6^5*x9*x14*x13-2*x6^5*x9*x14+x12*x6^2+x14 3
x6 12
x12 7
C empty
TBO (dim: 3)
J
x14 1
Nempty
E
-2*x6^7*x9*x13*x12-2*x6^7*x9*x12-2*x6^5*x9*x14*x13-2*x6^5*x9*x14+x12*x6^2+x14
x6
x12
EM
-2*x6^7*x9*x13*x12-2*x6^7*x9*x12-2*x6^5*x9*x14*x13-2*x6^5*x9*x14+x12*x6^2+x14
C empty
SBO (dim: 3)
J
x14 1
Nempty
Hempty
E
x6
x12
C empty
WBO (dim: 2)
J
x13+1 0
c 0
N
x14
(E,a)
Ea
x6 2
x12 1
C empty
Blown up to:
117.0 118.0
x14 x6
ID: 116.0 Parent: 114.0 Tree