law lj_total_elem_cons

bend-prot@0.1.0.0 · LAWS.bend:511

import Base
import bend-prot@0.1.0.0/protein.bend as P
import bend-prot@0.1.0.0/force.bend as F

511# An element total over a cons cell splits head from tail.
512law lj_total_elem_cons:
513  for h: P.Atom
514  for t: List<&2, P.Atom>
515  for ys: List<&2, P.Atom>
516  for c2: F32
517  {F.lj_total_elem(h <> t, ys, c2) == (F.lj_total_elem(t, ys, c2) + F.lj_row_elem(P.Atom.elem(h), P.Atom.pos(h), ys, c2) : F32) : F32}