Re: Re: Re: Re: Radicals simplify

```Yes, it would be helpful to have the docs say something like "most of
the time (but not always) the value of the default ComplexityFunction
agrees with that of LeafCount."  But it would be also helpful if
something more were said, somewhere (perhaps in discussion of
Internals?) to at least indicate when the count of integer digits also
is involved.  Even some exceptional examples would help.  But ideally,
the actual algorithm should be documented -- preferably in ordinary words.

> LeafCount
On 1/12/2010 4:46 AM, Andrzej Kozlowski wrote:
> CoplexityFunction in the past, and knowing it really wont help you much:
>
>
> SimplifyCount[p_] :=
>     If[IntegerQ[p],
>        If[p==0, 1, Floor[N[Log[2, Abs[p]]/Log[2, 10]]]+If[p>0, 1,
> 2]],
>           SimplifyCount[Numerator[p]]+SimplifyCount[Denominator[p]]+1,
>              SimplifyCount[Re[p]]+SimplifyCount[Im[p]]+1,
>              If[NumberQ[p], 2,
> 	       Plus@@(SimplifyCount/@(List@@p))]]]]]]
>
> Would it be helpful to have this in the Documentation? Or is it more
> helpful to know that most of the time (but not always) this agrees with
> LeafCount?
> I think a very large percentage of complaints about the documentation
> reduce to this sort of issues.
>
> Andrzej Kozlowski
>
>
> On 12 Jan 2010, at 08:54, Murray Eisenberg wrote:
>
>> Mathematica 7 documentation does NOT say that LeafCount is the
> criterion
>> for determining simplicity, that is, the default value of
>> ComplexityFunction.  Rather it says:
>>
>>    "The default ComplexityFunction counts the subexpressions and digits
>
>> of integers."
>>
>> But it does not even say how it combines the counts of the number of
>
>> subexpressions and digits of integers!
>>
>> On 1/11/2010 5:30 AM, dh wrote:
>>> Hi,
>>>
>>> why do you think x(x^2 y^3)^(1/4) is simpler than (x^6 y^3)^(1/4)?
>>>
>>> Mathematica needs some criterion for this decision. The default
> criterion is the
>>>
>>> "LeafCount[..]". If that does not suit you, you must define another
>>>
>>> criterion.
>>>
>>> Daniel
>>>
>>>
>>>
>>> francix wrote:
>>>
>>>> Hi,
>>>
>>>> I am using Matematica 7 and need some help with Radicals.
>>>
>>>>
>>>
>>>> If I do
>>>
>>>> Simplify[(x^4 y^3)^(1/4), x>= 0] I correctly have
>>>
>>>>
>>>
>>>> x (y^3)^(1/4)
>>>
>>>>
>>>
>>>> But If I do
>>>
>>>>
>>>
>>>> Simplify[(x^6 y^3)^(1/4), x>= 0] I get
>>>
>>>>
>>>
>>>> (x^6 y^3)^(1/4) and not the correct answer  x(x^2 y^3)^(1/4)
>>>
>>>>
>>>
>>>
>>>>
>>>
>>>>
>>>
>>>>
>>>
>>>>
>>>
>>>>
>>>
>>>>
>>>
>>>>
>>>
>>>
>>>
>>
>> --
>> 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
>>
>
>

--
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: How to Modify Mathematica 7 Documentation Center Default Styles
• Next by Date: Re: More /.{I->-1} craziness