Revision history [back]
 | 1 | initial version |
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)| | 1 | initial version |
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)
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.