#10682: sum fails with lower bound != 0 or 1 (upgrade maxima to 5.26)
---------------------------------------------------------+------------------
Reporter: fmaltey | Owner:
burcin
Type: defect | Status:
needs_info
Priority: critical | Milestone:
sage-5.0
Component: symbolics | Keywords:
maxima 5.26.0 binomial sum
Work_issues: domain issue, error handling in nintegral | Upstream: N/A
Reviewer: Jean-Pierre Flori, | Author:
Dima Pasechnick
Merged: | Dependencies:
---------------------------------------------------------+------------------
Comment(by nbruin):
Replying to [comment:49 mjo]:
> But, it used to give the correct answer, and now it doesn't.
As far as I can check, the newly returned solution is valid:
{{{
sage: y=function('y',x)
sage:
sol=(log((2*sqrt(4/x^2)*x^2*sqrt((4*y^4+4*x^2*y^2)/x^2)+8*y^2+4*x^2)/x^2)
....: -sqrt(4/x^2)*x*asinh(2*y^2/(x*sqrt(4*y^2)))
....:
-sqrt(4/x^2)*x*asinh(2*y/sqrt(4*x^2))+sqrt(4/x^2)*x^2)/(sqrt(4/x^2)*x)
sage: var('DY')
DY
sage: eqn=sol.diff(x).subs_expr(diff(y,x)==DY)
sage: dydx=-eqn.coefficient(DY,0)/eqn.coefficient(DY,1)
sage: assume(x>0)
sage: E=x*dydx-x*sqrt(y^2+x^2)-y
sage: E.factor()
0
}}}
so I don't think we need to consider maxima 5.26's response a regression
in this respect. It is simply returning a different solution than 5.24 did
when `domain: complex` is in effect.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10682#comment:54>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en.
