LAWS.add_forces_cons: law of bend-prot@0.1.0.0
Import: import bend-prot@0.1.0.0/LAWS.bend as LAWS
Lines 900-906 of bend-prot@0.1.0.0/LAWS.bend: https://jend.leeeet.dev/read.txt?path=bend-prot@0.1.0.0/LAWS.bend&start_line=900&end_line=906

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

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/geom.bend&name=Vec3
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/geom.bend&name=Vec3.add
  https://jend.leeeet.dev/definition.txt?path=bend-prot@0.1.0.0/sim.bend&name=add_forces