Could anyone tell me what I am doing wrong here?
sage: g(x,y) = ((x-y)/sqrt(1-(x-y)^2)/y)
sage: forget()
sage: var(alpha)
sage: assume(alpha0)
sage: assume(alpha1)
sage: assume(x-1+alpha)
sage: *assume(x-alpha-10)*
sage: g(x,y).integral(y, alpha, x+1, algorithm=maxima)
And yet I still get
hello
I have been playing with assumptions(). I want to assume ab
but solve() gives me a solution which is not consistent with this:
sage: var('a b')
(a, b)
sage: assume(ab)
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)
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 ab
but solve() gives me a solution which is not consistent with this:
sage: var('a b')
(a, b)
sage: assume(ab)
sage: assumptions()
[a b]
sage:
I'd like to add some simple assumptions, e.g.
assume(x 0)
assume(y 0)
...
to the top of a Python file and have them used in all symbolic
calculations that follow. But, they don't seem to take hold like they do
from within the Sage prompt.
Is there a way to make it do what I want?
--
On 05/17/11 09:01, Michael Orlitzky wrote:
I'd like to add some simple assumptions, e.g.
assume(x 0)
assume(y 0)
...
to the top of a Python file and have them used in all symbolic
calculations that follow. But, they don't seem to take hold like they do
from within the Sage
Why doesn't this work?
sage: assume(x -1)
sage: assume(x 1)
sage: n = var('n')
sage: limit(x^(n+1)/(1-x), n=infinity)
-limit(x^(n + 1), n, +Infinity)/(x - 1)
...when this works:
sage: forget()
sage: assume(0 x)
sage: assume(x 1)
sage: