def ackley_den

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

import Base

473def ackley_den(n: Nat) -> F32:
474  match n:
475    case 0n:
476      1.0
477    case 1n+p:
478      F32.from_nat(1n+p)

Uses (3)