Origin for each line in src/mat.red from check-in 5ce5316a33:

5ce5316a33 2021-03-01 jeff@gridfini: % example for matrix inversion
5ce5316a33 2021-03-01 jeff@gridfini: mm:=mat ((1, 19, 9, 5),
5ce5316a33 2021-03-01 jeff@gridfini: (5, 17, 7, 11),
5ce5316a33 2021-03-01 jeff@gridfini: (9, 13, 11, 17),
5ce5316a33 2021-03-01 jeff@gridfini: (13, 7, 15, 19));
5ce5316a33 2021-03-01 jeff@gridfini: mminv:=1/mm;
5ce5316a33 2021-03-01 jeff@gridfini: end;