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]; CellBoundaryInStack: PROC [queryCell, boundaryStackBase: CellIndex, cad: Cad] RETURNS [boundary: LIST OF CellIndex]; CellBoundary: PROC [queryCell: CellIndex, cad: Cad] RETURNS [boundary: LIST OF CellIndex]; END. $QECadAdjacencies.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. queryCell is a cell in r space, boundaryStackBase a cell in r-1 space. Let queryCellBase be the (index of the) base of queryCell, a cell in r-1 space. First checks that {boundaryStackBase, queryCellBase} is an adjacency of the induced cad of r-1 space. Then checks whether interstack adjacencies in r-space have been built over this adjacency; if not, returns some flag. Otherwise, finds all such interstack adjacencies that involve cell queryCell, and returns the (indices of the) other cells involved in each of these adjacencies, in some standard order. Assumes that cad has the boundary property. Used e.g. by AdjacenciesOverNonNullifying02 for its queries. Should be made available as a method of Cell Structures. queryCell is a cell in r space. Returns (the indices of) all cells that comprise the boundary of queryCell, in some standard order. Assumes that cad has the boundary property. Should be made available as a method of Cell Structures. Κƒ˜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šœ™™™M™—š žœœ5œ œœ ˜tMšœ°™°Mšœ+™+Mšœ<™