law pair_trunc_right

bend-prot@0.1.0.0 · LAWS.bend:258

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

258# Pair folds against an empty list answer the identity.
259law pair_trunc_right:
260  for x: P.Atom
261  for xt: List<&2, P.Atom>
262  {R.pair_sumd2(x <> xt, empty_atoms()) == (0.0, 0n) : F32 & Nat}