better conjugation for special functions

[burcin]

Add doctests to test enhancements to conjugates of some special functions in pynac/GiNaC.

Component: symbolics

Keywords: pynac

Author: Burcin Erocal

Reviewer: Karl-Dieter Crisman

Merged: sage-4.6.alpha3

Issue created by migration from https://trac.sagemath.org/ticket/9900

[burcin]

Attachment: trac_9900_conjugate_doctests.patch.gz

[burcin]

comment:1

attachment: trac_9900_conjugate_doctests.patch adds doctests to reflect the changes in the new pynac version at #9901.

The pynac package includes patches for #9394, #9834, #9878, #9879, #9881 as well as this ticket. See the ticket description of #9901 for the list (and order) of patches associated to the new version.

[burcin]

Author: Burcin Erocal

[kcrisman]

comment:2

This patch depends on knowing the branch cuts we wish to use. A followup ticket for giving references for these choices (and/or for making sure they're the same as used for our numerical approximations of these!) is at #10033.

[kcrisman]

comment:3

This comes from upstream in Ginac. According to Burcin:

just imported Richard Kreckel's patch from upstream.

[kcrisman]

Reviewer: Karl-Dieter Crisman

[kcrisman]

comment:4

Other than one spot where arccos should be arccosh in the new doctests, this is fine. However, it seems good to add some more doctests, especially for the branch cuts to make sure they stay unsimplified. A patch for this should be done by tomorrow sometime.

[kcrisman]

Attachment: trac_9900_conjugate_doctests-rebase.patch.gz

Rebase of original patch with respect to reviewer patches of #9879 and #9881

[kcrisman]

comment:5

Okay, reviewer patch is ready and coming right up. Positive review.

To release manager: please merge first rebase patch, then reviewer patch.