#7334: Sage cannot simplify sums of logarithms
------------------------+---------------------------------------------------
Reporter: whuss | Owner: burcin
Type: defect | Status: needs_review
Priority: major | Milestone: sage-4.2.1
Component: calculus | Keywords: logarithm
Work_issues: | Author: whuss
Reviewer: | Merged:
------------------------+---------------------------------------------------
Comment(by kcrisman):
Replying to [comment:4 robert.marik]:
> Replying to [comment:2 kcrisman]:
> > Anyway, then you could just call this wherever you think is best in
the definition of .simplify_full(), which certainly should have this
included.
>
> Do not do it please. The user knows if he/she wants to contract
logarithms or not and then he/she can run the coresponding method. If you
include this as an automatical simplification in simplify_full, consider
the following
>
I disagree. simplify_full is the sort of thing used by people who do NOT
know if they want to contract - they want the simplest-looking form
possible. In fact, these people usually use just simplify() first and
then email sage-support complaining it doesn't do things like this :)
Anyone who is looking for something specific can use the specific wrappers
for the Maxima simplifiers; the general user who is not actually
interested in symbolics or niceties like domains (which presumably the
other simplifiers also disrespect, e.g. x**2/x is not x but presumably one
of them does this and is part of simplify_full) needs a function which
applies as much machinery as possible, and simplify_full is it.
That said, wrapping more of the expanding functions is a very good idea!
One could even have an "expand_full" function to complement the
"simplify_full".
(Unfortunately, many users (including me) get tripped on on simplify
versus expand linguistically, because in colloquial high school English
they are often used interchangeably... sigh, but I'm just as guilty as
anyone.)
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/7334#comment:6>
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
-~----------~----~----~----~------~----~------~--~---
