Francois Maltey wrote:
>
> 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 !
>
This coerce is _not_ available in Spad -- it is interpreter-only.
The right files are 'i-coerce.boot', 'i-coerfn.boot' and also
'i-analy.boot' (which chooses initial types).
--
Waldek Hebisch
[EMAIL PROTECTED]
-------------------------------------------------------------------------
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
