def Mat.eye

bend-tensors@0.0.0.2 · bend_tensors.bend:1427

import Base

1427def Mat.eye(+n: Nat) -> Mat<n, n>:
1428  MatS{MatT.mask(VecT.depth(n), VecT.depth(n), MatT.eye(VecT.depth(n)), 0n, 0n, n, n)}