def rg_of_go

bend-prot@0.1.0.0 · topology.bend:69

import bend-prot@0.1.0.0/topology.bend as Topology

import Base

69def rg_of_go(s: F32, n: Nat) -> F32:
70  match n:
71    case 0n:
72      0.0
73    case 1n+p:
74      F32.sqrt((s / (F32.from_nat(n)) : F32))

Uses (5)

Used by (1)

bend-prot@0.1.0.0/topology:rg_of