Maxima：行列をファイルから読み込む

Maximaで行列をファイルから読み込む方法です。ファイルは例えば

1  2  3
4  5  6
.........

のように3列の数字がn行ならんだものとします。
Maximaでは

a:read_matrix("ファイル名");

とすることで a に n行3列の行列が入ります。サイズは

 matrix_size(a);

とすると [n, 3] のように返してくれます。