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. dQECadAdjacencies.mesa Last Edited by: Arnon, October 8, 1986 11:38:33 am PDT Operations For i = 2 or 3 only, returns all interstack adjacencies in i-space over an adjacency in dimension-1 space. cad is i-space cad. newAdjacencies = NIL if no adjacencies in dimension space can be built, either because needed auxiliary E^(i-1) cell-cell adjacencies, or non-NIL sample points, cannot be found. Converts extended to primitive sample points as needed. May build adjacencies over appropriate auxiliary E^(i-1) cell-cell adjacencies if necessary, and/or query i-space cad for existing adjacency information. Κ˜Jšœ™J™6J˜J˜J™šΟk ˜ J˜Jšœ˜J˜Jšœ˜J˜ Jšœ˜J˜ Jšœ˜Jšœ ˜ J˜ J˜ J˜ J˜—J˜head2šœœ ˜#J˜—Jšœœœœœ œœœ œœ œœ˜ͺheadšΟn ™ codeš žœœ œ"œœœ ˜Mšœ²™²Mšœ7™7Mšœ™™™——J˜šœ˜J˜—J˜—…—„