Question: Check Matrix argument when entering a procedure


To check my arguments in a procedure I need something like

myproc := proc(M :: Matrix(square, rational)

                       , N :: Matrix(shape=triangular[lower, unit], datatype = rational
                       , O :: Matrix(shape = square, dimension = 5


end proc;

How does that work in Maple? What is the correct Syntax? I tried many different things that doesn't fit.

Please Wait...