#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 | ebe4c6a12c88cf6fdf0e7eb7b43bcfe05dcab8a4
Branch: | Stopgaps:
u/rws/generalized_hypergeometric_functions_should_be_implemented|
Dependencies: #14858 #14780 |
#9556 #14802 |
-------------------------------------+-------------------------------------
Comment (by nbruin):
Excellent work! I wasn't able to checkout the branch here for testing, but
I noticed one thing for the maxima_lib interfacing:
- 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, z :
[[mqapply],[[max_hyper, max_array],len(a),len(b)],a,b,X]
}}}
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)
--
Ticket URL: <http://trac.sagemath.org/ticket/2516#comment:35>
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.
