def elim_one
import unified-nsga-iii@0.2.2.0/normalization.bend as Normalizationimport Base
300def elim_one(+row: Nat, +col: Nat, +n: Nat, +piv: List<&2, F32>, +mat: List<&2, List<&2, F32>>, skip: Bool) -> List<&2, List<&2, F32>>:
301 match skip:
302 case True{}:
303 mat
304 case False{}:
305 axpy_row(mat, row, col, n, mat_get(mat, row, col), piv)