def zdt_den

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

import unified-nsga-iii@0.2.2.0/problems.bend as Problems

import Base

180def zdt_den(n: Nat) -> F32:
181  match n:
182    case 0n:
183      1.0
184    case 1n:
185      1.0
186    case 1n+p:
187      F32.from_nat(p)

Uses (3)

Used by (2)