Re: Simplify With Assumptions
- To: mathgroup at smc.vnet.net
- Subject: [mg17963] Re: [mg17931] Simplify With Assumptions
- From: "Andrzej Kozlowski" <andrzej at tuins.ac.jp>
- Date: Mon, 7 Jun 1999 02:51:20 -0400
- Sender: owner-wri-mathgroup at wolfram.com
This is strange because it is possible to write even in mathematica 3 a
version of simplify which will work with such cases. Here is an very
imperfect example (not meant to be used, there is plenty wrong with it!)
which illustrates the idea:
In[1]:=
<<Algebra`AlgebraicInequalities`
In[2]:=
mysimplify[Sqrt[f_],{vars__},cond_List]:=
PowerExpand[Sqrt[f]]/;SemialgebraicComponents[
Append[cond,
PowerExpand[Sqrt[Denominator[f]]]*PowerExpand[Sqrt[Numerator[f]]]<
0],{vars}]=={};
mysimplify[f_,{vars_},cond_List]:=Simplify[f]
Now we can do not only things like:
In[3]:=
mysimplify[Sqrt[x^2], {x}, {x > 0}]
Out[3]=
x
but also
In[3]:=
mysimplify[Sqrt[(2*t^2 + 1)^2/t^2], {t}, {t > 0}]
Out[3]=
2
1 + 2 t
--------
t
One of the many unsatisfactory things is that
In[4]:=
mysimplify[Sqrt[x^2], {x}, {x < 0}]
Out[4]=
2
Sqrt[x ]
instead of -x, but one could obviously fix that. I can't see any obvious
reason why a (much better) version has not been implemented. Perhaps Adam
Strzebonski would like to comment?
--
Andrzej Kozlowski
Toyama International University
JAPAN
http://sigma.tuins.ac.jp
http://eri2.tuins.ac.jp
----------
>From: "David Park" <djmp at earthlink.net>
To: mathgroup at smc.vnet.net
>To: mathgroup at smc.vnet.net
>Subject: [mg17963] [mg17931] Simplify With Assumptions
>Date: Sat, Jun 5, 1999, 3:56 PM
>
> Simplify with assumptions in Version 4 is not everything one might
> hope.
>
> Simplify[Sqrt[x^2], x > 0]
> x
>
> But
>
> Simplify[Sqrt[(1 + 2*t^2)^2/t^2], t > 0]
> Sqrt[4 + 1/t^2 + 4*t^2]
>
> not
>
> (1 + 2*t^2)/t
>
> Of course we can see for ourselves and PowerExpand. Yet one would have
> hoped that Mathematica would have handled this case automatically.
>
> David Park
> djmp at earthlink.net
> http://home.earthlink.net/~djmp/
>
>
>
>