law lj_row_pbc_cons

bend-prot@0.1.0.0 · LAWS.bend:711

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

711law lj_row_pbc_cons:
712  for pi: G.Vec3
713  for eps: F32
714  for sig2: F32
715  for c2: F32
716  for box: G.Vec3
717  for h: P.Atom
718  for t: List<&2, P.Atom>
719  {Pbc.lj_row_pbc(pi, eps, sig2, c2, box, h <> t) == (Pbc.lj_row_pbc(pi, eps, sig2, c2, box, t) + Pbc.lj_head_pbc(pi, eps, sig2, c2, box, h) : F32) : F32}