law lj_frow_pbc_cons

bend-prot@0.1.0.0 · LAWS.bend:739

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

739law lj_frow_pbc_cons:
740  for pi: G.Vec3
741  for eps: F32
742  for sig2: F32
743  for c2: F32
744  for box: G.Vec3
745  for h: P.Atom
746  for t: List<&2, P.Atom>
747  {Pbc.lj_frow_pbc(pi, eps, sig2, c2, box, h <> t) == G.Vec3.add(Pbc.lj_frow_pbc(pi, eps, sig2, c2, box, t), Pbc.lj_fhead_pbc(pi, eps, sig2, c2, box, h)) : G.Vec3}