law sd_trunc_forces

bend-prot@0.1.0.0 · LAWS.bend:274

import Base
import bend-prot@0.1.0.0/protein.bend as P
import bend-prot@0.1.0.0/force.bend as F

274# A sweep with no forces leaves the atoms in place.
275law sd_trunc_forces:
276  for h: P.Atom
277  for t: List<&2, P.Atom>
278  for dt: F32
279  {F.sd_sweep(h <> t, Nil{}, dt) == h <> t : List<&2, P.Atom>}