Dear all, (1) With fricas I can coerce List List R to Matrix R, by example :
[[1,2],[3,4]]::Matrix Integer I search, read and grep *.spad files, but I can't find this coerce. )sh Matrix R and code file have coerce : Vector R -> Matrix R But I don't find the coerce : List List R -> Matrix R. Where is it ? and I still ignore )trace or others commands for this search ! (2) What is the sens of coerce ? -a- is it an easy way to transform one data structure to an other ? -b- or is there a notion of mathematical map in coerce ? -c- Do you feel any difference between the matrix [[1,2],[3,3]] use and the coerce way [[1,2],[3,4]]::Matrix R ? I prefer matrix [[1,2],[3,4]] when I create a matrix, I like the coerce Vect::Matrix R in order to transform a vector into a one column matrix. But I can't explain why. I also verify that multiple functions for building a matrix (over)load (my|the) mind. zero, new, scalarMatrix, diagonalMatrix and matrix. I should prefer only one matrix function with a String parameter as "diagonal", "scalar", "banded", "allCoefs", but it's perhaps due to my previous use of mupad. ------------------------------------------------------------------------- This SF.net email is sponsored by the 2008 JavaOne(SM) Conference Don't miss this year's exciting event. There's still time to save $100. Use priority code J8TL2D2. http://ad.doubleclick.net/clk;198757673;13503038;p?http://java.sun.com/javaone _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
