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 still get the following error:

Traceback (most recent call last):    assume(x>-1+alpha)
  File "", line 1, in <module>
File "/tmp/tmpFNci6y/___code___.py", line 12, in <module>
    g(x,y).integral(y, alpha, x+_sage_const_1 , algorithm="maxima")
  File "expression.pyx", line 10049, in 
sage.symbolic.expression.Expression.integral (sage/symbolic/expression.cpp:43320)
  File 
"/home/sage/sage-6.2/local/lib/python2.7/site-packages/sage/symbolic/integration/integral.py",
 line 688, in integrate
    return integrator(expression, v, a, b)
  File 
"/home/sage/sage-6.2/local/lib/python2.7/site-packages/sage/symbolic/integration/external.py",
 line 21, in maxima_integrator
    result = maxima.sr_integral(expression, v, a, b)
  File 
"/home/sage/sage-6.2/local/lib/python2.7/site-packages/sage/interfaces/maxima_lib.py",
 line 745, in sr_integral
    raise ValueError("Computation failed since Maxima requested additional constraints; using the 
'assume' command before integral evaluation *may* help (example of legal syntax is 'assume(" + 
s[4:k] +">0)', see `assume?` for more details)\n" + s)
ValueError: Computation failed since Maxima requested additional constraints; 
using the 'assume' command before integral evaluation *may* help (example of legal 
syntax is 'assume(x-alpha-1>0)', see `assume?` for more details)
*Is  x-alpha-1  positive, negative, or zero?*


--
You received this message because you are subscribed to the Google Groups 
"sage-support" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-support+unsubscr...@googlegroups.com.
To post to this group, send email to sage-support@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-support.
For more options, visit https://groups.google.com/d/optout.

Reply via email to