% @(#)$Id: IsaParallelogram.lsl,v 1.5 1997/07/25 22:49:20 leavens Exp $
IsaParallelogram(Scalar): trait
  includes FourSidedFigure(Scalar)
  introduces
    isaParallelogram: Arr[Vector] -> Bool
  asserts \forall e: Arr[Vector]
      isaParallelogram(e) == isLoop(e) /\ (e[0] + e[2] = 0:Vector);
  implies \forall e: Arr[Vector]
      isaParallelogram(e) == isLoop(e) /\ (e[1] + e[3] = 0:Vector);

[Index]

HTML generated using lcpp2html.