def project_fixed.ideal
unified-nsga-iii@0.2.2.0 · normalization.bend:599
import unified-nsga-iii@0.2.2.0/normalization.bend as Normalization
import Base
import unified-nsga-iii@0.2.2.0/individual.bend as Ind
599def project_fixed.ideal(n: Nat, ideal: List<&2, F32>, worst: List<&2, F32>, nadir: List<&2, F32>, intercepts: List<&2, F32>, extremes: List<&2, List<&2, F32>>, +pop: List<&2, Ind.Individual>) -> State & List<&2, List<&2, F32>>:
600 match ideal:
601 case Nil{}:
602 project_fixed.back(n, ideal, worst, nadir, intercepts, extremes, pop, True{})
603 case h <> t:
604 project_fixed.back(n, h <> t, worst, nadir, intercepts, extremes, pop, False{})