#12322: invalid simplification of complex logarithm
-------------------------------------+-------------------------------------
Reporter: mjo | Owner: burcin
Type: defect | Status: needs_review
Priority: major | Milestone: sage-6.1
Component: symbolics | Resolution:
Keywords: | Merged in:
Authors: Michael Orlitzky | Reviewers:
Report Upstream: Reported | Work issues:
upstream. No feedback yet. | Commit:
Branch: | 55eb0aa40402e5fc61a4f7294420c4df3d5e303f
u/mjo/ticket/12322 | Stopgaps:
Dependencies: #12737 |
-------------------------------------+-------------------------------------
Comment (by mjo):
The symbolic domain situation is pretty muddy. We want variables to be
complex by default, and we set the Maxima "domain" to complex for each new
symbolic variable. But, that isn't always enough to affect
simplifications. Some parts of Maxima use the "domain", others use
assumptions, some use neither, and I'll bet one or two use both.
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.
--
Ticket URL: <http://trac.sagemath.org/ticket/12322#comment:24>
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.
