law sum_dist2_nil

bend-prot@0.1.0.0 · LAWS.bend:37

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

37# Spread of nothing is zero.
38law sum_dist2_nil:
39  for qp: G.Vec3
40  {T.sum_dist2(empty_atoms(), qp) == 0.0 : F32}