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(alpha>0)
sage: assume(alpha<1)
sage: assume(x>-1+alpha)
sage: *assume(x-alpha-1<0)*
sage: g(x,y).integral(y, alpha, x+1, algorithm="maxima")
And yet I stil
On Thu, Dec 8, 2011 at 12:36 PM, robin hankin 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==
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)
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
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?
--
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: limit(x^(n+1)/(1
