Re: [Maxima-discuss] ratsimp not working as expected

[andre m. <and...@gm...>]

On 03/07/2014 03:52 AM, Richard Fateman wrote:
> On 3/6/2014 6:37 PM, andre maute wrote:
>> Hi list,
>>
>> here is my next one, consider the following test case,
>> which I wasn't able to reduce more.
>> If one comments the line marked trigger, the other ratsimp line chokes.
>>
>> Kind regards
>> Andre
>>
>> --- ratsimp-bug1.max -------------------------
>> display2d : false;
>> d : 4;
>> A : genmatrix(lambda([k,l],v[[k,l]]-v[[0,l]]),d,d);
>> detA : factor(determinant(A));
>> AinvT : transpose(invert(A));
>> /* AinvT : ratsimp(AinvT); /* error trigger */ */
>> zz : [0,-1,0,0];
>> h1 : transpose(matrix(zz));
>> h2 : AinvT.h1;
>> h3 : sum(h2[m,1]^2,m,1,d)*detA^2;
>> res : ratsimp(h3); /* chokes if trigger is commented */
>> --- ratsimp-bug1.max -------------------------
>>
>> --- ratsimp-bug1.txt -------------------------
>>
>> ... lots of text ...
>>
>> (%i11) res:ratsimp(h3)
>> Quotient by a polynomial of higher degree
>>    -- an error. To debug this try: debugmode(true);
>>
>> --- ratsimp-bug1.txt -------------------------
>
> It worked for me.
> (%o24) ?%build_info("5.30.0","2013-06-01 21:29:43","i686-pc-mingw32",
>                     "GNU Common Lisp (GCL)","GCL 2.6.8")

With an older Maxima version and the same sbcl it works.

(%i1) build_info();

Maxima version: 5.25.1
Maxima build date: 13:59 3/7/2014
Host type: x86_64-unknown-linux-gnu
Lisp implementation type: SBCL
Lisp implementation version: 1.1.12-1.fc20

Andre


>
>>
>> [user@localhost ~]$ maxima
>> Maxima 5.31.3 http://maxima.sourceforge.net
>> using Lisp SBCL 1.1.12-1.fc20
>> Distributed under the GNU Public License. See the file COPYING.
>> Dedicated to the memory of William Schelter.
>> The function bug_report() provides bug reporting information.
>> STYLE-WARNING: redefining MAXIMA::$FILE_TYPE in DEFUN
>> (%i1) build_info();
>> (%o1)
>> Maxima version: "5.31.3"
>> Maxima build date: "2014-03-01 11:47:49"
>> Host type: "x86_64-unknown-linux-gnu"
>> Lisp implementation type: "SBCL"
>> Lisp implementation version: "1.1.12-1.fc20"
>>
>>
>> ------------------------------------------------------------------------------ 
>>
>> Subversion Kills Productivity. Get off Subversion & Make the Move to 
>> Perforce.
>> With Perforce, you get hassle-free workflows. Merge that actually works.
>> Faster operations. Version large binaries.  Built-in WAN optimization 
>> and the
>> freedom to use Git, Perforce or both. Make the move to Perforce.
>> http://pubads.g.doubleclick.net/gampad/clk?id=122218951&iu=/4140/ostg.clktrk 
>>
>> _______________________________________________
>> Maxima-discuss mailing list
>> Max...@li...
>> https://lists.sourceforge.net/lists/listinfo/maxima-discuss
>
>