Mathemagix

[Bernard Mourrain <address@concealed>]

*)  Why is the following approximated match choosen
  Function (Matrix (Generic), Tuple (Row (Generic)))
instead of the exact match
  Function (Matrix (Double), Int, Int, String, HomDse (Double))
below ?

1] use "linalg"
2] function_type matrix
[
Function (Matrix (Double), Int, Int, String, HomDse (Double)),
Function (Matrix (Double), String, HomDse (Double)),
Function (Matrix (Double), Tuple (Row (Double))),
Function (Matrix (Double), Tuple (Double)),
Function (Matrix (Complex (Rational)), Tuple (Row (Complex(Rational)))),
Function (Matrix (Complex (Rational)), Tuple (Complex (Rational))), 
Function (Matrix (Rational), Tuple (Row (Rational))),
Function (Matrix (Rational), Tuple (Rational)),
Function (Matrix (Modular (Integer)), Tuple (Row (Modular (Integer)))), 
Function (Matrix (Modular (Integer)), Tuple (Modular (Integer))), 
Function (Matrix (Integer), Tuple (Row (Integer))), Function (Matrix 
(Integer), Tuple (Integer)),
Function (Matrix (Generic), Tuple (Row (Generic))),
Function (Matrix(Generic), Tuple (Generic))
]

3] M := matrix(2,2,"2 2 2 3 4 5",MM)
[2, 2, "2 2 2 3 4 5", MM]
4] type matrix(2,2,"2 2 2 3 4 5",MM)
Matrix (Generic)

*) What about a nice printing of the signatures as
  (A1, B1) -> C1
  A2 -> B2
   ...
?


B.