law coul_total_excl_nil

bend-prot@0.1.0.0 · LAWS.bend:618

import Base
import bend-prot@0.1.0.0/protein.bend as P
import bend-prot@0.1.0.0/bonded.bend as B

618law coul_total_excl_nil:
619  for ys: List<&2, P.Atom>
620  for qs_e: List<&2, F32>
621  for ke: F32
622  for c2: F32
623  for bonds: List<&2, U32>
624  {B.coul_total_excl(empty_atoms(), Nil{}, ys, qs_e, ke, c2, bonds) == 0.0 : F32}