QEBasis.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;
QEBasis:
CEDAR
DEFINITIONS
~ BEGIN OPEN AC: AlgebraClasses, BR: BigRats, RI: RatIntervals, AN: AlgebraicNumbers, SEQ: Sequences, POL: Polynomials, QFF: Formulas, SP: SamplePoints, CS: CoveringSets;
Operations
CoarsestSqFreeBasis:
PROC [inputPolynomials:
SEQ.Sequence, localizationFormula:
QFF.Formula ←
NIL]
RETURNS [contents, basis:
SEQ.Sequence];