Normalization.asf_term: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/normalization.bend as Normalization
Lines 178-183 of unified-nsga-iii@0.2.2.0/normalization.bend: https://jend.leeeet.dev/read.txt?path=unified-nsga-iii@0.2.2.0/normalization.bend&start_line=178&end_line=183

import Base

# ASF on ideal-translated objectives (pymoo __F = F − ideal).
def asf_term(+fj: F32, +ij: F32, on_axis: Bool) -> F32:
  +raw = F32.sub(fj, ij)
  +v = Bool.pick(F32, F32.is_lt(raw, 1.0e-3), 0.0, raw)
  +w = Bool.pick(F32, on_axis, 1.0, 1.0e-6)
  F32.div(v, w)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.pick
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.sub