ID: 182.0 Parent: 180.0 Tree
Covered by:
184.0
-x13^2+1+4*x6*x12^3
PDER
VAR\IND 32*x12^6*x8+x6*x13^5
-x6*x13^4-2*x6*x13^3
+2*x6*x13^2+x13*x6-x
6
x12 x13 x4
x4 0 0 0 1
x6 x14 -192*x14*x12^5*x8 -x14*(-16*x12^6*x6^3
+5*x6*x13^4-4*x6*x13
^3-6*x6*x13^2+4*x13*
x6+x6)
0
x8 x14*(3/2*x6^2-3/2*x1
3*x6^2)
-192*x14*(3/2*x6^2-3
/2*x13*x6^2)*x12^5*x
8
-1/2*x6^3-x14*(3/2*x
6^2-3/2*x13*x6^2)*(-
16*x12^6*x6^3+5*x6*x
13^4-4*x6*x13^3-6*x6
*x13^2+4*x13*x6+x6)
0
x12 0 1 0 0
x13 0 0 1 0
x14 -32*x14^3*x12^6*(3*x
6-3*x13*x6)
-192*x12^5*(3/2*x6^2
-3/2*x13*x6^2)*x14^2
+6144*x14^3*x12^11*(
3*x6-3*x13*x6)*x8
-(5*x13^4-4*x13^3-6*
x13^2+4*x13+1-48*x12
^6*x6^2)*x14^2+32*x1
4^3*x12^6*(3*x6-3*x1
3*x6)*(-16*x12^6*x6^
3+5*x6*x13^4-4*x6*x1
3^3-6*x6*x13^2+4*x13
*x6+x6)
0
FOCUS
x6^7*x4^4*x12^3+x6^3*x4^4*x8-x8^2*x4^4
x6
x12*x6^2
x8
x13*x6^2
x13*x6
x13
4*x12^3
12*x6*x12^2
-2*x13
2*x6*x13^3-2*x6*x13^2-2*x13*x6+2*x6+8*x12^3*(3/2*x6^2-3/2*x13*x6^2)
DEP
x13*x6^3-x6^3+2*x8
x14*(x13^5-x13^4-2*x13^3+2*x13^2+x13-1+32*x12^6*(3/2*x6^2-3/2*x13*x6^2))-1
MAP
x1 x6*x4
x2 x12*x6^2*x4
x3 x8*x4
x4 x4
IMAP
x4 x4
x6 x1/x4
x8 x3/x4
x12 x4/x1^2*x2
x13 -(2*x3*x4^2-x1^3)/x1^3
x14 -1/32*x1^15/x3/x4^6/(x3^4*x4^4-2*x3^3*x4^2*x1^3+x3^2*x1^6-3*x2^6*x1^2)
STACK
WBO (dim: 4)
J
-x13^2+1+4*x6*x12^3 1
c 1
Nempty
(E,a)
Ea
x4 3
x6 3
C empty
TBO (dim: 4)
J
-x13^2+1+4*x6*x12^3 1
Nempty
E
x4
x6
EM
x4
x6
C empty
SBO (dim: 4)
J
-x13^2+1+4*x6*x12^3 1
Nempty
Hempty
Eempty
C empty
Covered by:
184.0
-x13^2+1+4*x6*x12^3
ID: 182.0 Parent: 180.0 Tree