det(M: MAT): RINGELEM
/**/ Use R ::= QQ[x]; /**/ M := mat(R,[[x,x^2], [x,x^3]]); /**/ det(M); x^4 -x^3 /**/ det(mat(QQ,[[1,2], [0,5]])); 5