law coul_frow_cons

bend-prot@0.1.0.0 · LAWS.bend:677

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

677# A Coulomb row over a cons cell splits head from tail.
678law coul_frow_cons:
679  for pi: G.Vec3
680  for qi: F32
681  for ke: F32
682  for c2: F32
683  for h: P.Atom
684  for t: List<&2, P.Atom>
685  for qh: F32
686  for qt: List<&2, F32>
687  {F.coul_frow(pi, qi, ke, c2, h <> t, qh <> qt) == G.Vec3.add(F.coul_frow(pi, qi, ke, c2, t, qt), F.coul_fhead(pi, qi, ke, c2, h, qh)) : G.Vec3}