the `assume` function not working?
Hi, I'm trying to run this math in SagemathCell,
x,l,sigma=var("x,l,sigma")
f(x) = (1+x*x/(sigma*sigma))**(l-1/2)
unicode_art(f)
assume(-(2*l-1)/2>0)
assume(sigma>0)
g= integrate(f, x, -infinity, infinity)
unicode_art(g)
but I got the error complaining
ValueError: Computation failed since Maxima requested additional constraints; using the 'assume' command before evaluation may help (example of legal syntax is 'assume(-(2l-1)/2>0)', see
assume?
for more details) Is -(2l-1)/2 an integer?
As you can see from my script that I already have assume(-(2*l-1)/2>0)
. How to fix?
Thanks!
Welcome to Ask Sage! Thank you for your question.
You assumed that it is positive. Now maxima asks you whether this is an integer..
Oh...thanks a lot! I got another error "TypeError: self (=-l + 1/2) must be a relational expression" if I add this line
assume(-(2*l-1)/2,'integer')
. Do you happen to know what the correct syntax is? I searched the "Computational Mathematics with SageMath" book but didn't find an example...Actually, I want to tell sage that
-(2*l-1)/2
is not an integer. Is there a way?