minRowIndex returns INT, but one of subMatrix's signature is:
[1] (D1,List(PositiveInteger),List(PositiveInteger)) -> D1
That means subMatrix can't take matrices that with negative
index. One way is to fix subMatrix to let it take LIST INT
as arguments, but I want to go with the other way.
I
This is some kind of a milestone, right?
Congratulations to the hard working FriCAS development team!
--
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
> in i-funsel.boot
>
> https://github.com/fricas/fricas/blob/master/src/interp/i-funsel.boot#L629
That's an interesting finding, where the magic of priority of type
lifting is.
> Perhaps it was an
> experiment inherited with the original Axiom source?
At least not in the open source Axiom, I
> IIUC ./src/aldor/libaxiom.tex and ./src/interp/ax.boot.tex are
> kept up to date by Ralf Hemmecke.
Oh... good that you remind me. I should look into them an bring them
up-to-date. I think there can be only minor differences to the real code.
Ralf
--
You received this message because you are
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
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
