-- NewQE.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> NewQE.df 14-Jan-88 11:16:48 PST Exports [Indigo]<QuantifierElimination>Documentation> NewQEDoc.tioga!1 14-Jan-88 11:16:41 PST Directory [Indigo]<QuantifierElimination>NewQE> QESignatureStructure.mesa!1 27-Nov-87 11:14:43 PST QESamplePointStructure.mesa!1 27-Nov-87 16:56:07 PST QECellStructure.mesa!1 24-Nov-87 13:52:31 PST QEClusterStructure.mesa!1 27-Nov-87 14:36:57 PST QECadStructure.mesa!1 27-Nov-87 14:11:01 PST QECadManager.mesa!1 30-Nov-87 15:15:38 PST QESignatureTableStructure.mesa!1 30-Nov-87 15:17:18 PST QEManager.mesa!1 24-Nov-87 08:30:44 PST Directory [Indigo]<QuantifierElimination>OldQE> SamplePoints.mesa!1 03-Oct-86 13:14:09 PDT SamplePointsImpl.mesa!1 31-Oct-86 06:23:41 PST Cells.mesa!1 27-Oct-87 09:08:37 PST CellsImpl.mesa!1 14-Jan-87 12:29:02 PST 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 Cads.mesa!1 19-Nov-87 18:38:54 PST CadsImpl.mesa!1 14-Jan-87 12:30:17 PST QE.mesa!1 19-Nov-87 07:33:47 PST Cad2D.mesa!1 04-Sep-86 12:26:30 PDT Cad2DImpl.mesa!1 11-Sep-86 11:50:14 PDT CoveringSets.mesa!1 22-Oct-86 07:07:57 PDT CoveringSetsImpl.mesa!1 31-Oct-86 06:18:50 PST Colors.mesa!1 22-Oct-86 11:56:10 PDT ColorsImpl.mesa!1 22-Oct-86 11:58:24 PDT Triangles.mesa!1 14-Jan-87 12:03:16 PST TrianglesImpl.mesa!1 14-Jan-87 12:28:33 PST