Operations
AdjacenciesOverAdjacency:
PROC [dimension:
CARDINAL, adjacency: Adjacency, cad: Cad]
RETURNS [newAdjacencies:
LIST
OF Adjacency];
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.
CellBoundaryInStack:
PROC [queryCell, boundaryStackBase: CellIndex, cad: Cad]
RETURNS [boundary:
LIST
OF CellIndex];
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.
CellBoundary:
PROC [queryCell: CellIndex, cad: Cad]
RETURNS [boundary:
LIST
OF CellIndex];
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.