[Date Index]
[Thread Index]
[Author Index]
Re: Re: Re: Simplify and Abs
On 27 Feb 2005, at 07:29, Murray Eisenberg wrote:
> Strangely, though, the docs for version 5.1 say:
>
> FunctionExpand is automatically called by FullSimplify
Yes, but it is a question of ComplexityFunstion in FullSimplify.
FunctionExpand is one of the transformations used by FullSimplify, and
FullSimplify does reach the form -p+1 but but with the default
ComplexityFucntion Abs[p-1] is preferred to -p+1.
One way to avoid such problems is to use the ComplexityFunction I
suggested a while ago, which is based on what is visually the simplest
form:
VisibleSimplify[expr_, opts___] := Simplify[
expr, opts, ComplexityFunction ->
(StringLength[ToString[TraditionalForm[#]]] &)]
Now:
VisibleSimplify[Abs[p-1],p<1&&p>1/2]
1-p
VisibleSimplify should always return the "simplest form" from the point
of view of traditional mathematical notation that Simplify is able to
find (of course that also depends on TransforationFunctions) but
VisibleSimplify is much slower than the default ComplexityFunction!
Andrzej Kozlowski
>
>
> Bob Hanlon wrote:
>> FunctionExpand[Abs[p-1],p<1&&p>1/2]
>>
>> 1-p
>>
>>> From: Simon Anders <simon.anders at uibk.ac.at>
To: mathgroup at smc.vnet.net
>>
>>> Date: 2005/02/24 Thu AM 03:21:06 EST
>>> Subject: [mg54712] [mg54687] [mg54640] [mg54602] Simplify and Abs
>>>
>>> can it really be that this is already beyond Mathematica?
>>>
>>> In := FullSimplify[Abs[p - 1], p < 1 && p > 1/2]
>>>
>>> Out := Abs[-1 + p]
>
>
> --
> Murray Eisenberg murray at math.umass.edu
> Mathematics & Statistics Dept.
> Lederle Graduate Research Tower phone 413 549-1020 (H)
> University of Massachusetts 413 545-2859 (W)
> 710 North Pleasant Street fax 413 545-1801
> Amherst, MA 01003-9305
>
>
Prev by Date:
**Re: Construcing correlation matrix from time-ordered list**
Next by Date:
**Re: Construcing correlation matrix from time-ordered list**
Previous by thread:
**Re: Re: Re: Simplify and Abs**
Next by thread:
**Re: Simplify and Abs**
| |