law zero_charges_cons

bend-prot@0.1.0.0 · LAWS.bend:876

import Base
import bend-prot@0.1.0.0/protein.bend as P
import bend-prot@0.1.0.0/sim.bend as Sim

876# Zero charges split head from tail.
877law zero_charges_cons:
878  for h: P.Atom
879  for t: List<&2, P.Atom>
880  {Sim.zero_charges(h <> t) == 0.0 <> Sim.zero_charges(t) : List<&2, F32>}