#10075: Make log gamma symbolic
-----------------------------------+----------------------------------------
Reporter: kcrisman | Owner: burcin
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.0
Component: symbolics | Keywords: sd35.5
Work_issues: | Upstream: N/A
Reviewer: Karl-Dieter Crisman | Author: Karen T. Kohl
Merged: | Dependencies:
-----------------------------------+----------------------------------------
Comment(by kcrisman):
Okay, I've been messing with this for too long today.
{{{
sage: get_systems('log_gamma(SR(6))')
['ginac', 'GMP']
sage: get_systems('log_gamma(RR(6))')
[]
sage: get_systems('log_gamma(CC(6))')
['PARI', 'MPFR']
sage: get_systems('log_gamma(6.)')
['MPFR']
}}}
See also #10072, where a lot of the numerical evaluation was fixed.
Anyway, updated patch with more explanation and other information coming
up. It needs light review; no code was changed, only doctests.
I'm not sure I like the last doctest either
{{{
sage: conjugate(log_gamma(-2))
conjugate(+Infinity)
}}}
What is the conjugate of plus infinity? But I'll leave it for now, just
to document it, unless someone has an objection, since we have in vanilla
Sage
{{{
sage: conjugate(+Infinity)
conjugate(+Infinity)
}}}
I've opened #12521 for the evaluation at negative input with even ceiling
function issue (i.e., `log_gamma(-2.1)`).
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10075#comment:12>
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.
