<> <> <<>> <> <<>> DIRECTORY Rope, IO, AlgebraClasses, ASAtomicFormulaOps, Variables, Polynomials; QESamplePointStructure: CEDAR DEFINITIONS = BEGIN <> SamplePoint: TYPE = AlgebraClasses.Object; <<>> SamplePointData: TYPE = REF SamplePointDataRec; SamplePointDataRec: TYPE ~ RECORD [ cell: CellIndex, -- cell to which this sample point belongs SELECT type:* FROM null => [ ], extended => [ basePoint: PTS.Point, -- an (r-1)-tuple of elements of baseNumberField; this should be a pointer to a cell sample point in one lower dimension definingPolynomial: POL.Polynomial, -- a univariate algebraic polynomial over baseNumberField. isolatingInterval: RI.RatInterval _ NIL, -- for root of definingPolynomial ], primitive => [ point: PTS.Point -- an r-tuple of elements of primitiveNumberField ], ENDCASE ]; <> SamplePointStructureData: TYPE = REF SamplePointStructureDataRec; SamplePointStructureDataRec: TYPE = RECORD [ ]; <> MakeFormulaAlgebra: PROC [polynomialRing: AlgebraClasses.Object] RETURNS [formulaAlgebra: AlgebraClasses.Object]; <> <> <> PrintName: AlgebraClasses.ToRopeOp; ShortPrintName: AlgebraClasses.ToRopeOp; IsFormulaAlgebra: AlgebraClasses.UnaryPredicate; PolynomialRing: AlgebraClasses.UnaryOp; <> <<>> <> Quantify: PROC [quantifiers: LIST OF Quantifier, in: Formula] RETURNS [out: Formula]; <> <<>> QuantifyChecked: PROC [quantifiers: LIST OF Quantifier, variables: LIST OF Variables.Variable, in: Formula] RETURNS [out: Formula]; <> <> Recast: AlgebraClasses.BinaryOp; CanRecast: AlgebraClasses.BinaryPredicate; ToExpr: AlgebraClasses.ToExprOp; LegalFirstChar: AlgebraClasses.LegalFirstCharOp; Read: AlgebraClasses.ReadOp; FromRope: AlgebraClasses.FromRopeOp; <<>> ToRope: AlgebraClasses.ToRopeOp; Write: AlgebraClasses.WriteOp; <> FreeVariables: AlgebraClasses.UnaryToListOp; <> Negate: AlgebraClasses.UnaryOp; And: AlgebraClasses.NaryOp; <> Or: AlgebraClasses.NaryOp; XOr: AlgebraClasses.BinaryOp; Difference: AlgebraClasses.BinaryOp; Implies: AlgebraClasses.BinaryOp; Equiv: AlgebraClasses.BinaryOp; AllVarEval: AlgebraClasses.BinaryOp; <> <> <> <> <> <> <> <> <B AND B=>A].>> <> Eval: AlgebraClasses.BinaryOp; <> <> <> <> END.