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

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

On 03/07/2014 03:37 AM, 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

Okay, here is a further stripped down example.

--- ratsimp-bug2.max -------------------------
display2d : false;
d : 4;
A : genmatrix(lambda([k,l],v[[k,l]]-v[[0,l]]),d,d);
Ainv : invert(A);
/* Ainv : ratsimp(Ainv); /* error trigger */ */
h : Ainv[2,4]^2;
res : ratsimp(h); /* chokes if trigger is commented */
--- ratsimp-bug2.max -------------------------

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 -------------------------
>
>
> [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
>