On 3/2/2013 8:21 AM, Phil T wrote: > > assume(equal(determinant(M),0), a>0, b<0, notequal(d,0)); > > This is way beyond the capabilities of the assume command to deduce anything from a statement of the determinant of M.