On Thu, Dec 8, 2011 at 12:36 PM, robin hankin <hankin.ro...@gmail.com> wrote:
> hello
>
> I have been playing with assumptions(). I want to assume a>b
> but solve() gives me a solution which is not consistent with this:
>
> sage: var('a b')
> (a, b)
> sage: assume(a>b)
> sage: assumptions()
> [a > b]
> sage: solve([a+b==2,a-b==0],a,b)
> [[a == 1, b == 1]]
> sage:
>
> How come the solution (viz a=b=1) is not consistent with my assumption()?
Sage's assume and solve commands use Maxima (mostly), and evidently
Maxima's solve command
ignores assume completely. See this message and the response to it:
http://www.math.utexas.edu/pipermail/maxima/2006/000131.html
William
--
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to
sage-support+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org
