law lj_row_cons

bend-prot@0.1.0.0 · LAWS.bend:135

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

135# An LJ row over a cons cell splits head from tail.
136law lj_row_cons:
137  for pi: G.Vec3
138  for eps: F32
139  for sig2: F32
140  for c2: F32
141  for h: P.Atom
142  for t: List<&2, P.Atom>
143  {F.lj_row(pi, eps, sig2, c2, h <> t) == (F.lj_row(pi, eps, sig2, c2, t) + F.lj_head(pi, eps, sig2, c2, h) : F32) : F32}