2008/5/28 Robert Marik <marik at mendelu.cz>:
> reported: https://sourceforge.net/tracker/index.php?func=detail&aid=1977146&group_id=4933&atid=104933
>
> Robert Marik
>
> On Wed, May 28, 2008 at 4:42 PM, Robert Dodier <robert.dodier at gmail.com> wrote:
>> On 5/28/08, Robert Marik <marik at mendelu.cz> wrote:
>>
>>> Neglecting the typo in radcan (sqrt (x^2 - 2*x + 11)) which should be
>>> probably radcan (sqrt (x^2 - 2*x + 1)), I get the answer x-1 also with
>>> radexpand:false. Moreover, sqrt(1-x) remains sqrt(1-x) even with
>>> radexpand:true.
>>
>> Looks like the actual behavior differs from the intended.
>> Can you make a bug report about that? I'm guessing there is no
>> simple resolution, and I don't want this to become lost.
>>
>> best
>>
>> Robert Dodier
>>
radexpand does not control the behavior of radcan but the default
simplification in maxima:
(%i1) sqrt(x^2), radexpand=true;
(%o1) abs(x)
(%i2) sqrt(x^2), radexpand=false;
(%o2) sqrt(x^2)
(%i3) sqrt(x^2), radexpand=all;
(%o3) x
(%i4) sqrt(x^2), radexpand=true, domain=complex;
(%o4) sqrt(x^2)
All examples are as documented.
--
Andrej