def ge_col.go

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

import Base

324def ge_col.go(fuel: Nat, +col: Nat, +n: Nat, acc: Maybe<&2, List<&2, List<&2, F32>>>) -> Maybe<&2, List<&2, List<&2, F32>>>:
325  match fuel acc:
326    case f None{}:
327      None{}
328    case 0n Some{mat}:
329      Some{mat}
330    case 1n+f Some{+mat}:
331      +pivot = find_pivot(mat, col, n)
332      ge_col.go(
333        f,
334        1n+col,
335        n,
336        ge_step(col, n, mat, pivot, F32.is_lt(F32.abs(mat_get(mat, pivot, col)), 1.0e-14))
337      )