law sumd2_count_cons

bend-prot@0.1.0.0 · LAWS.bend:106

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/topology.bend as T

106# The fused spread/count pass extends by one head distance.
107law sumd2_count_cons:
108  for h: P.Atom
109  for t: List<&2, P.Atom>
110  for qp: G.Vec3
111  {T.sumd2_count(h <> t, qp) == T.sumd2_extend(T.head_dist2(h, qp), T.sumd2_count(t, qp)) : F32 & Nat}