def idx_from

unified-nsga-iii@0.2.2.0 · rng.bend:71

import unified-nsga-iii@0.2.2.0/rng.bend as Rng

import Base

71def idx_from(+z: F32, n: Nat) -> Nat:
72  match n:
73    case 0n:
74      0n
75    case 1n++p:
76      clamp_lt(F32.to_nat(F32.trunc(F32.mul(z, F32.from_nat(1n+p)))), 1n+p)

Uses (7)

Used by (1)

unified-nsga-iii@0.2.2.0/rng:next_nat