ID: 95.0 Parent: 94.0 Tree
Covered by:
96.0
-x16-1
PDER
VAR\IND x12^2-x16^2-x16 x12 x6
x6 0 0 1
x12 0 1 0
x16 x17 -2*x17*x12 0
x17 2*x17^3 -4*x17^3*x12 0
FOCUS
x16^6*x6^36*x12^6-x12^8*x6^36*x16^4+x16^5*x6^36*x12^6
x12*x6^3
x16*x6^5*x12
x12*x6^2
x16*x6^4*x12
x12*x6
x16*x6^3*x12
x12
x16*x6^3
x16*x6^2
x16*x6
x16
DEP
x17*(-2*x16-1)-1
MAP
x1 x16*x6^6*x12
x2 x6^9*x16*x12^2
x3 x6^7*x16*x12
IMAP
x6 x3/x1
x12 x2/x3^3*x1^2
x16 x1^5/x2/x3^3
x17 -x2*x3^3/(2*x1^5+x2*x3^3)
STACK
WBO (dim: 3)
J
-x12^2+x16^2+x16 1
c 1
Nempty
(E,a)
Ea
x16 3
x12 4
x6 24
C empty
TBO (dim: 3)
J
-x12^2+x16^2+x16 1
Nempty
E
x16
x12
x6
EM
x16
x12
x6
C empty
SBO (dim: 3)
J
-x12^2+x16^2+x16 1
x16 1
Nempty
Hempty
Eempty
C empty
WBO (dim: 2)
J
x16 2
c 2
N
x12^2-x16^2-x16
(E,a)empty
C empty
TBO (dim: 2)
J
x16 2
N
x12^2-x16^2-x16
Eempty
EMempty
C empty
SBO (dim: 2)
J
x16 2
N
x12^2-x16^2-x16
Hempty
Eempty
C empty
Covered by:
96.0
-x16-1
ID: 95.0 Parent: 94.0 Tree