law rg_about_nil

bend-prot@0.1.0.0 · LAWS.bend:231

import Base
import bend-prot@0.1.0.0/geom.bend as G
import bend-prot@0.1.0.0/topology.bend as T

231# Spread about a point of nothing is zero through rg_of.
232law rg_about_nil:
233  for qp: G.Vec3
234  {T.rg_about(empty_atoms(), qp) == 0.0 : F32}