linalg:eye

(linalg:eye n)

n 行 n 列の単位行列 (主対角線が 1、それ以外がすべて 0) を作成します。linalg:matmul で掛けても行列は変化せず、linalg:array-equal の比較対象としても便利です。