#2516: generalized hypergeometric functions should be implemented
-------------------------------------+-------------------------------------
Reporter: ddrake | Owner: cwitty
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-6.2
Component: symbolics | Resolution:
Keywords: hypergeometric | Merged in:
Authors: Fredrik | Reviewers: Ralf Stephan
Johansson, Eviatar Bach, Ralf | Work issues:
Stephan | Commit:
Report Upstream: N/A | 0dbbacd5af23a111706b660ec997c3b302a33525
Branch: u/rws/ticket/2516 | Stopgaps:
Dependencies: |
-------------------------------------+-------------------------------------
Changes (by rws):
* commit: b514b8bdc5ab36feef0ba516d9053743e1d9b4c2 =>
0dbbacd5af23a111706b660ec997c3b302a33525
Comment:
Rebased on 6.2.beta8. I also included the test for `Expression` in
`fast_callable`.
Replying to [comment:35 nbruin]:
> - You are installing an extra rule in `mqapply_to_sage`, which I assume
is correct. This rule registered in the special_max_to_sage dictionary:
Great! that's what you're supposed to do
> - However, for conversion back, there should be a corresponding entry
in special_sage_to_max as well, and you're not adding that. You'd have to
test, but from the rule in the other direction, I'd guess it should be
something like:
> {{{
> sage.functions.hypergeometric.hypergeometric : lambda A, B, X :
[[mqapply],[[max_hyper,
max_array],lisp_length(A)-1,lisp_length(B)-1],A,B,X]
> }}}
> where
> {{{
> lisp_length=EclObject('length')
> }}}
>
> If you don't put this rule in place, you'll find that things like
"limit", "integral" and "sum" (which use `sr_to_max`) will probably not
work correctly with hypergeometric function. (in fact, I'm not so sure
maxima has much support for them anyway, but at least we should make sure
that the functions can survive a round-trip)
I'm afraid offhand I have no idea what this is about. Will try.
----
New commits:
||[http://git.sagemath.org/sage.git/commit/?id=4b4ed75db309567fae5c8115c8423cfde01b611b
4b4ed75]||{{{Merge branch 'develop' into t/2516/ticket/2516}}}||
||[http://git.sagemath.org/sage.git/commit/?id=0dbbacd5af23a111706b660ec997c3b302a33525
0dbbacd]||{{{2516: fix last doctests}}}||
--
Ticket URL: <http://trac.sagemath.org/ticket/2516#comment:49>
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 unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
