law rmsd_nil

bend-prot@0.1.0.0 · LAWS.bend:64

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

64# The empty set is at zero RMSD from itself (empty case, by computation).
65# (This says nothing about nonempty sets; see rmsd_single. Unequal lengths
66# silently answer 0 by zip semantics; see rmsd_checked_some/none.)
67law rmsd_nil:
68  {R.rmsd(empty_atoms(), empty_atoms()) == 0.0 : F32}