<> <> <> <> DIRECTORY SV2d; Algebra3d: CEDAR DEFINITIONS = BEGIN Point2d: TYPE = SV2d.Point2d; Polygon: TYPE = SV2d.Polygon; TrigLineSeg: TYPE = SV2d.TrigLineSeg; QuadraticFormula: PROC [a, b, c: REAL] RETURNS [roots: ARRAY [1..2] OF REAL, rootCount: NAT]; <> <> <> <> <> END.