law coul_frow_nil

bend-prot@0.1.0.0 · LAWS.bend:701

import Base
import bend-prot@0.1.0.0/geom.bend as G
import bend-prot@0.1.0.0/force.bend as F

701# No charges feel nothing.
702law coul_frow_nil:
703  for pi: G.Vec3
704  for qi: F32
705  for ke: F32
706  for c2: F32
707  {F.coul_frow(pi, qi, ke, c2, empty_atoms(), Nil{}) == G.V3{0.0, 0.0, 0.0} : G.Vec3}