First time here? Check out the FAQ!
answered 2024-06-04 19:20:57 +0200
Add some assumptions, for example
assume(b1^2-2*a0*b1+4*a1*b0>0) assume(b1^2-2*a0*b1+4*a1*b0+a0^2>0)