law min_single

bend-prot@0.1.0.0 · LAWS.bend:219

import Base
import bend-prot@0.1.0.0/geom.bend as G
import bend-prot@0.1.0.0/protein.bend as P
import bend-prot@0.1.0.0/topology.bend as T

219# The closest approach to a singleton is its one distance.
220law min_single:
221  for s: U32
222  for e: U32
223  for x: F32
224  for y: F32
225  for z: F32
226  for qx: F32
227  for qy: F32
228  for qz: F32
229  {T.min_dist2_to([P.Atom{s, e, G.V3{x, y, z}}], G.V3{qx, qy, qz}) == Some{G.Vec3.dist2(G.V3{x, y, z}, G.V3{qx, qy, qz})} : Maybe<&2, F32>}