PolynomialMutation.typical_probability: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/polynomial_mutation.bend as PolynomialMutation
Lines 28-34 of unified-nsga-iii@0.2.2.0/polynomial_mutation.bend: https://jend.leeeet.dev/read.txt?path=unified-nsga-iii@0.2.2.0/polynomial_mutation.bend&start_line=28&end_line=34

import Base

# C# Unsga3Algorithm: mutationProbability ?? (1.0 / nVars) at the call site.
def typical_probability(n_var: Nat) -> F32:
  match n_var:
    case 0n:
      1.0
    case 1n+p:
      F32.div(1.0, F32.from_nat(1n+p))

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.div
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.from_nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat