[fricas-devel] subMatrix and minRowIndex

[oldk1331]

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 doubt the usefulness of arbitrary indexed matrix, aka
IndexedMatrix.  It is not used anywhere in FriCAS.
I think we should only use 1-indexed matrix, that
simplifies a lot when writing spad: no need to consider
the possibility of IndexedMatrix.

Do you agree we should remove minRowIndex (and similar
functions) from matrix related domains and categories?

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

[fricas-devel] FriCAS SVN repo hits the No.2000 revision today

[oldk1331]

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

Re: [fricas-devel] default behaviour of "SquareMatrix(n, FRAC INT) * INT"

[oldk1331]

> 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 checked back to 2005, that line
was still commented.

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

Re: [fricas-devel] Re: typo fixes and add quotes in configure.ac

[Ralf Hemmecke]

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

Re: [fricas-devel] default behaviour of "SquareMatrix(n, FRAC INT) * INT"

[Bill Page]

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

Re: [fricas-devel] default behaviour of "SquareMatrix(n, FRAC INT) * INT"

[oldk1331]

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.