Including the line following -- try to favor homogeneous multiplication
in i-funsel.boot https://github.com/fricas/fricas/blob/master/src/interp/i-funsel.boot#L629 solves the problem since then apparently coercion to SQMATRIX is favored. This seems intuitively reasonable but I was not able to find any reference to why/when this hack was disabled. Perhaps it was an experiment inherited with the original Axiom source? On 6 June 2016 at 08:50, oldk1331 <oldk1...@gmail.com> wrote: > I'm a little confused: don't you think this is a bug in interpreter, > of the part doing automatic type lifting? And should be fixed > there? > > -- > You received this message because you are subscribed to the Google Groups > "FriCAS - computer algebra system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to fricas-devel+unsubscr...@googlegroups.com. > To post to this group, send email to fricas-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/fricas-devel. > For more options, visit https://groups.google.com/d/optout. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.