ID: 174.0 Parent: 164.0 Tree
Covered by:
179.0 180.0
4*x12^3 x13^5-x13^4-2*x13^3+2*x13^2+x13-1+32*x12^6*(3/2*x6^2-3/2*x13*x6^2)
PDER
VAR\IND x6 x12 x13 x4
x4 0 0 0 1
x6 1 0 0 0
x8 3/2*x6^2-3/2*x13*x6^
2
0 -1/2*x6^3 0
x12 0 1 0 0
x13 0 0 1 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
DEP
x13*x6^3-x6^3+2*x8
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
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:
179.0 180.0
4*x12^3 x13^5-x13^4-2*x13^3+2*x13^2+x13-1+32*x12^6*(3/2*x6^2-3/2*x13*x6^2)
ID: 174.0 Parent: 164.0 Tree