law lj_total_cons

bend-prot@0.1.0.0 · LAWS.bend:145

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

145# An LJ total over a cons cell splits head from tail.
146law lj_total_cons:
147  for h: P.Atom
148  for t: List<&2, P.Atom>
149  for ys: List<&2, P.Atom>
150  for eps: F32
151  for sig2: F32
152  for c2: F32
153  {F.lj_total(h <> t, ys, eps, sig2, c2) == (F.lj_total(t, ys, eps, sig2, c2) + F.lj_self_atom(h, ys, eps, sig2, c2) : F32) : F32}