def ge_step

unified-nsga-iii@0.2.2.0 · normalization.bend:314

import Base

314def ge_step(+col: Nat, +n: Nat, +mat: List<&2, List<&2, F32>>, +pivot: Nat, tiny: Bool) -> Maybe<&2, List<&2, List<&2, F32>>>:
315  match tiny:
316    case True{}:
317      None{}
318    case False{}:
319      +swapped = swap_rows(mat, col, pivot)
320      +div = mat_get(swapped, col, col)
321      +scaled = scale_row(swapped, col, n, div)
322      Some{elim_rows(n, 0n, col, n, get_row(scaled, col), scaled)}