def zdt4_ivs
import unified-nsga-iii@0.2.2.0/problems.bend as Problemsimport Base
import unified-nsga-iii@0.2.2.0/bounds.bend as Bounds
73# ZDT4: C# default n=10. x0 ∈ [0,1], x1.. ∈ [-5,5].
74def zdt4_ivs(n: Nat) -> List<&2, Bounds.Interval>:
75 match n:
76 case 0n:
77 Nil{}
78 case 1n+p:
79 Bounds.interval(0.0, 1.0) <> List.replicate(Bounds.Interval, p, Bounds.interval(F32.neg(5.0), 5.0))