It's not deliberate:
Rep of Matrix is IIARRAY2 in array2.spad, the function
corece : Matrix(R) -> OutputForm
is implemented in the category of IIARRAY2: ARR2CAT:
coerce(m : %) ==
l : List List OutputForm
l := [[qelt(m, i, j) :: OutputForm _
for j in minColIndex(m)..maxColIndex(m)] _
for i in minRowIndex(m)..maxRowIndex(m)]
matrix l
The last matrix is from OutputForm.
For empty Matrix, maxColIndex can be 0 while minColIndex is 1.
I think add some check in this function will be OK.
(I hate the freedom that in FriCAS, you can have arbitrary indexed
array/vector, and you have to support them everywhere!)
--
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 [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.
