SASDManager.mesa
Last Edited by: Arnon, November 27, 1987 11:42:44 am PST
This is a shell for QEManager.mesa and QECadManager.mesa.
The model is that generation of display data by SASDisplayData takes place in a background mode. Actually generating a picture takes place once you have the needed data in a LBDB.
DIRECTORY
Rope,
IO,
AlgebraClasses,
Variables,
RatPolynomials,
AlgebraicNumbers,
RealFields,
AlgebraicPolynomials,
Formulas,
QETypes,
QEIO,
Cad;
SASDManager:
CEDAR
DEFINITIONS
IMPORTS AlgebraicNumbers, RealFields
~ BEGIN
SASDisplayData:
PROC [inputFormula: Formula, displayParameters: AlgebraClasses.Object]
RETURNS [LBDBHandle: ??];
inputFormula is assumed quantifier-free (for now). Extracts polynomials, and checks global index of cad data to see if an unlocalized cad has already been built for which these polynomials are a subset of the effective input polynomials; if so, extracts it, if not, builds it from scratch with inputPolynomials = NIL and inputFormula as a localizationFormula (this simple idea may flounder on the reality of what the adjacency algorithms need). Then builds data sets needed for 2d (probably Gargoyle-based) or 3d (ThreeDWorld-based) clusters, and adds them to the DB for the cad.
Plot:
PROC [LBDBHandle: ??];
Starts up 2-d, and 3-d if appropriate, plot processes for this LBDB.
END.