-- 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                     14-Jan-88 15:13:03 PST

Exports [Indigo]<QuantifierElimination>Documentation
  QuantifierEliminationDoc.tioga!1             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!2                          14-Jan-88 14:27:04 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!1                         14-Jan-87 12:28:33 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]