-- QuantifierElimination.df -- Copyright (C) 1987 by Xerox Corporation. All rights reserved. -- Dennis Arnon, July 3, 1987 10:13:40 am PDT -- Quantifier elimination routines Exports [Indigo]<QuantifierElimination>Top> QuantifierElimination.df 18-Jan-88 15:43:40 PST Exports [Indigo]<QuantifierElimination>Documentation QuantifierEliminationDoc.tioga!2 14-Jan-88 11:24:35 PST Directory [Indigo]<QuantifierElimination>QuantifierElimination> RatIntervals.mesa!1 14-Jan-88 14:19:08 PST RatIntervals.bcd!1 14-Jan-88 14:19:10 PST RatIntervalsImpl.mesa!1 30-Sep-86 09:18:10 PDT SamplePoints.mesa!2 14-Jan-88 14:32:07 PST SamplePoints.bcd!1 14-Jan-88 14:32:16 PST SamplePointsImpl.mesa!2 14-Jan-88 14:31:58 PST Cells.mesa!2 14-Jan-88 14:39:01 PST Cells.bcd!1 14-Jan-88 14:39:06 PST CellsImpl.mesa!1 14-Jan-87 12:29:02 PST CoveringSets.mesa!3 18-Jan-88 14:05:47 PST CoveringSets.bcd!1 14-Jan-88 14:27:07 PST CoveringSetsImpl.mesa!2 14-Jan-88 14:26:02 PST Triangles.mesa!2 14-Jan-88 14:28:52 PST Triangles.bcd!1 14-Jan-88 14:32:27 PST TrianglesImpl.mesa!2 18-Jan-88 14:04:03 PST TrianglesImpl.bcd!1 18-Jan-88 14:04:10 PST Colors.mesa!2 14-Jan-88 14:34:28 PST Colors.bcd!1 14-Jan-88 14:34:31 PST ColorsImpl.mesa!1 22-Oct-86 11:58:24 PDT Cads.mesa!2 14-Jan-88 14:46:51 PST Cads.bcd!1 14-Jan-88 14:46:55 PST CadsImpl.mesa!2 14-Jan-88 14:43:59 PST Directory [Indigo]<QuantifierElimination>QuantifierElimination> Cad2D.mesa!1 04-Sep-86 12:26:30 PDT Cad2DImpl.mesa!1 11-Sep-86 11:50:14 PDT QETypes.mesa!1 09-Oct-86 15:37:19 PDT QEIO.mesa!1 29-Sep-86 11:52:22 PDT QEIOImpl.mesa!1 30-Sep-86 14:19:11 PDT QE.mesa!1 19-Nov-87 07:33:47 PST Exports Imports [Cedar]<CedarChest7.0>Top>AlgebraStructures.df Of ~= Imports [Cedar]<CedarChest7.0>Top>AlgebraStructures.df Of ~= Using [Polynomials.bcd]