law pair_sumd2_cons

bend-prot@0.1.0.0 · LAWS.bend:188

import Base
import bend-prot@0.1.0.0/protein.bend as P
import bend-prot@0.1.0.0/rmsd.bend as R

188# A pair-distance fold splits the head pair from the tail pairs.
189law pair_sumd2_cons:
190  for x: P.Atom
191  for xt: List<&2, P.Atom>
192  for y: P.Atom
193  for yt: List<&2, P.Atom>
194  {R.pair_sumd2(x <> xt, y <> yt) == R.pair_head(x, y, R.pair_sumd2(xt, yt)) : F32 & Nat}