~/jendhub

def dup_fallback_cap

unified-nsga-iii@0.2.2.0 · algorithm.bend:205

import unified-nsga-iii@0.2.2.0/algorithm.bend as Algorithm
import Base
import unified-nsga-iii@0.2.2.0/util.bend as Util

205# C# fallback cap: max(pop * 20, 1). Unique-key stage before duplicates.
206def dup_fallback_cap(n: Nat) -> Nat:
207  Util.nat_max(Nat.mul(n, 20n), 1n)

Uses (3)

Used by (1)