<> <> <<>> DIRECTORY Rope, IO, AlgebraClasses, BigRats, RatIntervals, VariableSequences, Polynomials, AlgebraicNumbers, Sequences, Formulas, SamplePoints, CoveringSets, Cells; QECadAdjacencies: CEDAR DEFINITIONS ~ BEGIN OPEN AC: AlgebraClasses, BR: BigRats, RI: RatIntervals, AN: AlgebraicNumbers, SEQ: Sequences, POL: Polynomials, QFF: Formulas, SP: SamplePoints, CS: CoveringSets; <> AdjacenciesOverAdjacency: PROC [dimension: CARDINAL, adjacency: Adjacency, cad: Cad] RETURNS [newAdjacencies: LIST OF Adjacency]; <> <> <> END.