law add_forces_cons

bend-prot@0.1.0.0 · LAWS.bend:900

import Base
import bend-prot@0.1.0.0/geom.bend as G
import bend-prot@0.1.0.0/sim.bend as Sim

900# Force addition splits head pair from tail pairs.
901law add_forces_cons:
902  for x: G.Vec3
903  for xt: List<&2, G.Vec3>
904  for y: G.Vec3
905  for yt: List<&2, G.Vec3>
906  {Sim.add_forces(x <> xt, y <> yt) == G.Vec3.add(x, y) <> Sim.add_forces(xt, yt) : List<&2, G.Vec3>}