Recreation: explorations in determinants

The dyad aU. ym derived from the dot operator is inner product. For example, a+. x~ is the matrix multipfi-cation of finear algebra. A dictionary of APL ([] 18 1) defines the monad O. Y~ on matrices ~ thus: