law lj_total_pbc_cons

bend-prot@0.1.0.0 · LAWS.bend:721

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/pbc.bend as Pbc

721law lj_total_pbc_cons:
722  for h: P.Atom
723  for t: List<&2, P.Atom>
724  for ys: List<&2, P.Atom>
725  for eps: F32
726  for sig2: F32
727  for c2: F32
728  for box: G.Vec3
729  {Pbc.lj_total_pbc(h <> t, ys, eps, sig2, c2, box) == (Pbc.lj_total_pbc(t, ys, eps, sig2, c2, box) + Pbc.lj_self_atom_pbc(h, ys, eps, sig2, c2, box) : F32) : F32}