QECadBasePhase.mesa
Last Edited by: Arnon, October 8, 1986 11:38:33 am PDT
DIRECTORY
Rope,
IO,
AlgebraClasses,
BigRats,
RatIntervals,
VariableSequences,
Polynomials,
AlgebraicNumbers,
Sequences,
Formulas,
SamplePoints,
CoveringSets,
Cells;
QECadBasePhase:
CEDAR
DEFINITIONS
~ BEGIN OPEN AC: AlgebraClasses, BR: BigRats, RI: RatIntervals, AN: AlgebraicNumbers, SEQ: Sequences, POL: Polynomials, QFF: Formulas, SP: SamplePoints, CS: CoveringSets;
Base Phase
BasePhase:
PROC [cad: Cad];
cad is of r>=1 space; follow chain of induced cad's down to 1-space, contruct cells there. Fill in basisSignature's = primarySignature's of cells. If 1-space cad.localizationFormula # NIL, then discard cells which don't satisfy it.