def dtlz1

unified-nsga-iii@0.2.2.0 · problems.bend:104

import Base
import unified-nsga-iii@0.2.2.0/bounds.bend as Bounds

104# DTLZ1: C# default M=3, k=5 ⇒ n=7.
105def dtlz1(+m: Nat, k: Nat) -> Problem:
106  mk_prob(Dtlz1{}, Bounds.unit_n(dtlz_n(m, k), m))