#12737: Remove simplify_radical() from simplify_full()
------------------------------------+---------------------------------------
Reporter: mjo | Owner: mjo
Type: enhancement | Status: needs_work
Priority: major | Milestone: sage-5.11
Component: symbolics | Resolution:
Keywords: | Work issues:
Report Upstream: N/A | Reviewers: Karl-Dieter Crisman
Authors: Michael Orlitzky | Merged in:
Dependencies: | Stopgaps:
------------------------------------+---------------------------------------
Changes (by kcrisman):
* cc: navigium (added)
* reviewer: => Karl-Dieter Crisman
* dependencies: #12845 =>
* status: needs_review => needs_work
Comment:
> I'll take a look at the failures in the new German tutorial at some
point today, it's probably not a big deal.
{{{
sage -t doc/de/thematische_anleitungen/sage_gymnasium.rst
**********************************************************************
File "doc/de/thematische_anleitungen/sage_gymnasium.rst", line 397, in
doc.de.thematische_anleitungen.sage_gymnasium
Failed example:
(log(8)/log(2)).simplify_full()
Expected:
3
Got:
log(8)/log(2)
**********************************************************************
File "doc/de/thematische_anleitungen/sage_gymnasium.rst", line 703, in
doc.de.thematische_anleitungen.sage_gymnasium
Failed example:
log(10^5).simplify_full()
Expected:
5*log(5) + 5*log(2)
Got:
log(100000)
**********************************************************************
}}}
Well, unfortunately the context is that the authors of the tutorial really
really like using just one simplification command. In particular, they
advertise `simplify_full` as providing log addition rules "for free".
Which I don't really see as "simplification in the latter example! (Which
is some of what you've been saying earlier.) However, it does mean it
would be interesting to see whether it might be worth adding
`canonicalize_exp` or `canonicalize_log` at #11912 as aliases...
Anyway, I can fix this, but I don't have time right now, because I would
have to think about how best to preserve the authors' intentions. I
assume it would be annoying to all of a sudden point out that there are
multiple "simplification" options. I've cc:ed the author of #14550 to see
if he has any suggestions.
@navigium - man könnte behaupten, dass {{{log(10^5) = > 5*log(5) +
5*log(2)}}} nicht eine Vereinfachung, sondern eine ...
"Gezetzeseinsetzung" ist. Im jeden Fall sieht es nicht einfacher aus!
Dennoch wollen wir die Einleitung nicht einfach so ohne weiteres zerlegen.
Vorausgesetzt, dass `simplify_radical` von `simplify_full` verschwindet,
wie wäre es am Besten (d. Hinsicht nach) `simplify_radical` im
Gymnasialkontext zu erwähnen?
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/12737#comment:21>
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.
