ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Tue, 27 Nov 2012 10:54:13 +0100Why simplify doesn't work?https://ask.sagemath.org/question/9558/why-simplify-doesnt-work/Hi! My problem is that I don't want to use simplify_full(). It messes up the way my formulea look preety bad. Yet I have in them terms of the form:
f(x,y)=(x^y)^(1/y)
and these a left untouched by simplify(). Is there any way for sage to recognize, that f=x without simplify_full()?
.
(Here's what i mean by messed up formula:
var('x,b2,b1')
f1(x,b1,b2)= e^(-x/b2)/b2 - e^(-x/b1)/b1
f2(x,b1,b2)= x
f1=f1( x=log( (b1/b2)^(b1*b2/(b1-b2)) ) )
f2=f2( x=log( (b1/b2)^(b1*b2/(b1-b2)) ) )
show( f1.simplify_full() + f2.simplify_full()== (f1+f2).simplify_full() )
The lhs looks way better, doesn't it?)
.
Big thanks in advance for any comments!Thu, 22 Nov 2012 20:17:49 +0100https://ask.sagemath.org/question/9558/why-simplify-doesnt-work/Answer by burcin for <p>Hi! My problem is that I don't want to use simplify_full(). It messes up the way my formulea look preety bad. Yet I have in them terms of the form:</p>
<pre><code>f(x,y)=(x^y)^(1/y)
</code></pre>
<p>and these a left untouched by simplify(). Is there any way for sage to recognize, that f=x without simplify_full()?</p>
<p>.</p>
<p>(Here's what i mean by messed up formula:</p>
<pre><code>var('x,b2,b1')
f1(x,b1,b2)= e^(-x/b2)/b2 - e^(-x/b1)/b1
f2(x,b1,b2)= x
f1=f1( x=log( (b1/b2)^(b1*b2/(b1-b2)) ) )
f2=f2( x=log( (b1/b2)^(b1*b2/(b1-b2)) ) )
show( f1.simplify_full() + f2.simplify_full()== (f1+f2).simplify_full() )
</code></pre>
<p>The lhs looks way better, doesn't it?)</p>
<p>.</p>
<p>Big thanks in advance for any comments!</p>
https://ask.sagemath.org/question/9558/why-simplify-doesnt-work/?answer=14220#post-id-14220`simplify_full()` just runs the specialized `simplify_*()` routines one by one. You can call them individually and see if they give you better results.
sage: x.sim<tab>
x.simplify x.simplify_full x.simplify_rational
x.simplify_exp x.simplify_log x.simplify_trig
x.simplify_factorial x.simplify_radical
Fri, 23 Nov 2012 04:11:55 +0100https://ask.sagemath.org/question/9558/why-simplify-doesnt-work/?answer=14220#post-id-14220Comment by ozik for <p><code>simplify_full()</code> just runs the specialized <code>simplify_*()</code> routines one by one. You can call them individually and see if they give you better results.</p>
<pre><code>sage: x.sim<tab>
x.simplify x.simplify_full x.simplify_rational
x.simplify_exp x.simplify_log x.simplify_trig
x.simplify_factorial x.simplify_radical
</code></pre>
https://ask.sagemath.org/question/9558/why-simplify-doesnt-work/?comment=18646#post-id-18646Great many thanks!Tue, 27 Nov 2012 10:54:13 +0100https://ask.sagemath.org/question/9558/why-simplify-doesnt-work/?comment=18646#post-id-18646