Mathemagix

[Grégoire Lecerf <address@concealed>]

> 3] M := matrix(2,2,"2 2 2 3 4 5",MM)
> [2, 2, "2 2 2 3 4 5", MM]
Could you try matrix (2:>Int, 2:>Int,... ?
> *) What about a nice printing of the signatures as
>   (A1, B1) -> C1
>   A2 -> B2
Use the 'help' command instead of function_type.
help matrix
help Matrix Double
help infix +
etc

Use a fresh checkout of TeXmacs for pretty printing.
Grégoire.
begin:vcard
fn;quoted-printable:Gr=C3=A9goire Lecerf
n;quoted-printable:Lecerf;Gr=C3=A9goire
org;quoted-printable;quoted-printable:CNRS / Universit=C3=A9 de Versailles;Laboratoire de Math=C3=A9matiques
adr;quoted-printable;quoted-printable:45 avenue des =C3=89tats-Unis;;Universit=C3=A9 de Versailles;Versailles;;78035;France
email;internet:address@concealed
title;quoted-printable:Charg=C3=A9 de recherche
x-mozilla-html:FALSE
url:www.math.uvsq.fr/~lecerf
version:2.1
end:vcard