Opened 3 years ago

Last modified 3 years ago

#24841 new enhancement

Doctest exp(c*f(x)) simplification, f inverse hyperbolic

Reported by: rws Owned by:
Priority: major Milestone: sage-8.2
Component: symbolics Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

The resp. Pynac-0.7.17 enhancements should be doctested here:

sage: exp(asinh(2))
sqrt(5) + 2
sage: exp(2*asinh(2))
(sqrt(5) + 2)^2
sage: exp(1/2*acosh(3))
sqrt(2*sqrt(2) + 3)
sage: exp(atanh(1/2))
sqrt(3)
sage: exp(atanh(-2, hold=True))  # known bug
sqrt(1/3)
sage: exp(acoth(31))
4*sqrt(1/15)
sage: exp(asech(1/3))
2*sqrt(2) + 3
sage: exp(acsch(13))
1/13*sqrt(170) + 1/13

Change History (1)

comment:1 Changed 3 years ago by rws

This works, except for the marked case above. Reasons?

Note: See TracTickets for help on using tickets.