#12322: invalid simplification of complex logarithm
-------------------------------------+-------------------------------------
Reporter: mjo | Owner: burcin
Type: defect | Status: positive_review
Priority: major | Milestone: sage-6.1
Component: symbolics | Resolution:
Keywords: | Merged in:
Authors: Michael Orlitzky | Reviewers: Marc Mezzarobba
Report Upstream: Reported | Work issues:
upstream. No feedback yet. | Commit:
Branch: | 55eb0aa40402e5fc61a4f7294420c4df3d5e303f
u/mjo/ticket/12322 | Stopgaps:
Dependencies: #12737 |
-------------------------------------+-------------------------------------
Changes (by mmezzarobba):
* status: needs_review => positive_review
* reviewer: => Marc Mezzarobba
Comment:
Replying to [comment:24 mjo]:
> The complex assumption in the test case wasn't strictly necessary to
make it fail, but it highlights the fact that this is a bug only when `t`
is complex, and makes it clear that we have done all we can to indicate to
sage that `t` is complex.
Sure; I am only a bit concerned that having the assumption in the test
gives the impression that the variable is real by default. But it's no big
deal.
--
Ticket URL: <http://trac.sagemath.org/ticket/12322#comment:25>
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/groups/opt_out.
