ID: 122.0 Parent: 120.0 Tree
Blown up to:
123.0
x17
PDER
VAR\IND x6 x12 x17
x6 1 0 0
x9 -x10*(5*x9^2*x6^4-x12^2*x6
^2)+3*x17*x12^2*x10*x6^2+2
*x12^2*x10*x6^2
2*x10*x12*x6^3+2*x17*x10*x
12*x6^3
x12^2*x10*x6^3
x10 -10*x9*x6^4*x10^2+2*x10^3*
x6^5*(5*x9^2*x6^4-x12^2*x6
^2)-6*x17*x12^2*x10^3*x6^7
-4*x12^2*x10^3*x6^7
-4*x12*x6^8*x10^3-4*x17*x1
2*x6^8*x10^3
-2*x12^2*x6^8*x10^3
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*x17*x12^2*x10^3*x6^
7+4*x12^2*x10^3*x6^7)*x13^
2-4*x17*x12^2*x10^3*x6^7*x
13^2
-4*x12*x6^8*x10^3*x13^2-4*
x17*x12*x6^8*x10^3*x13^2
-2*x12^2*x6^8*x10^3*x13^2
x17 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
x17*x12^2*x6^2
x17*x12*x6^2
x17*x12*x6
x17*x12
x17
DEP
x10*(2*x9*x6^5+1)-1
x17*x12^2*x6^3-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)
x17 (x1^6-x2^4+x1*x2*x3^3)/x2^4
STACK
WBO (dim: 3)
J
x17 1
c 1
Nempty
(E,a)
Ea
-4*x17^2*x12^2*x13^2*x6^8-8*x6^8*x13^2*x17*x12^2-8*x17^2*x12^2*x13*x6^8-16*x6^8*x13*x17*x12^2-4*x6^8*x13^2*x12^2-8*x6^8*x13*x12^2-4*x17^2*x12^2*x6^8-8*x6^8*x17*x12^2-4*x6^8*x12^2+x17+1 3
x6 18
x12 10
C empty
TBO (dim: 3)
J
x17 1
Nempty
E
-4*x17^2*x12^2*x13^2*x6^8-8*x6^8*x13^2*x17*x12^2-8*x17^2*x12^2*x13*x6^8-16*x6^8*x13*x17*x12^2-4*x6^8*x13^2*x12^2-8*x6^8*x13*x12^2-4*x17^2*x12^2*x6^8-8*x6^8*x17*x12^2-4*x6^8*x12^2+x17+1
x6
x12
EM
-4*x17^2*x12^2*x13^2*x6^8-8*x6^8*x13^2*x17*x12^2-8*x17^2*x12^2*x13*x6^8-16*x6^8*x13*x17*x12^2-4*x6^8*x13^2*x12^2-8*x6^8*x13*x12^2-4*x17^2*x12^2*x6^8-8*x6^8*x17*x12^2-4*x6^8*x12^2+x17+1
C empty
SBO (dim: 3)
J
x17 1
Nempty
Hempty
E
x6
x12
C empty
Blown up to:
123.0
x17
ID: 122.0 Parent: 120.0 Tree