| 1 | initial version |
Also
sage: solve([x^2+2*x-3==0, x>=0],x)
[[x == 1]]
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.