Normalization.add_ideal: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/normalization.bend as Normalization
Lines 425-432 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=425&end_line=432

import Base

def add_ideal(ideal: List<&2, F32>, icepts: List<&2, F32>) -> List<&2, F32>:
  match ideal icepts:
    case Nil{} zs:
      Nil{}
    case xs Nil{}:
      Nil{}
    case x <> xs z <> zs:
      F32.add(x, z) <> add_ideal(xs, zs)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List