<> <> <<>> DIRECTORY Rope, IO, AlgebraClasses, Ints, BigRats, RatIntervals, Variables, Polynomials, AlgebraicNumbers, Points, Sequences, Formulas, SamplePoints, CoveringSets; Triangles: CEDAR DEFINITIONS ~ BEGIN OPEN AC: AlgebraClasses, BR: BigRats, RI: RatIntervals, VARS: Variables, AN: AlgebraicNumbers, PTS: Points, SEQ: Sequences, POL: Polynomials, QFF: Formulas, SP: SamplePoints, CS: CoveringSets; <> TriangleSeq: TYPE = REF TriangleSeqRec; TriangleSeqRec: TYPE = RECORD [SEQUENCE trianglesPlusOne: [1..20000] OF Triangle]; Triangle: TYPE = RECORD[ firstVertex: [1..20000], secondVertex: [1..20000], thirdVertex: [1..20000] ]; <> CountTriangles: PROC [in: CS.CoveringSet] RETURNS [number: CARDINAL]; <> GenerateTriangles: PROC [in: CS.CoveringSet] RETURNS [out: TriangleSeq]; <> END.