advanced 
 
The type of a matrix entry.


 
returns the number of columns.  

 
returns the number of rows.  

 
returns the entry at position (row, column). Precondition: $$0 row $$< number_of_rows() and $$0 column $$< number_of_columns().  

 
replace
column old with column number new. Precondition: $$0 old, new $$< number_of_columns().  

 
returns
a new Matrix consisting of all rows of m with even index,
(i.e. first row is row $$0 of m, second row is row $$2 of
m etc.). Precondition: number_of_rows() $$> 0.  

 
deletes the
rightmost columns, such that m becomes quadratic. Precondition: number_of_columns() $$ number_of_rows(). Postcondition: number_of_rows() $$== number_of_columns(). 
advanced 