Mathemagix

[Bernard Mourrain <address@concealed>]

Grégoire Lecerf wrote:
> > 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,... ?
Yes this works !
But why is this conversion not preferred to the conversion to generic 
for all the arguments ?

> > *) 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
Thanks, this is much pretty.
> Use a fresh checkout of TeXmacs for pretty printing.
> Grégoire.

Bernard