law angle_triples_auto_golden

bend-prot@0.1.0.0 · LAWS.bend:978

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

978# A two-bond chain auto-derives both directed angles.
979law angle_triples_auto_golden:
980  {B.angle_triples_auto([1, 2, 2, 3]) == [(1, 2, 3), (3, 2, 1)] : List<&1, U32 & U32 & U32>}

Uses (5)

Used by (0)

No other definition uses this definition.