-- 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 24-Jun-88 14:52:19 PDT Exports [Indigo]<QuantifierElimination>Documentation> NewQEDoc.tioga!2 28-Jan-88 13:43:53 PST QEDisplayDoc.tioga!1 29-Jan-88 20:23:20 PST Directory [Indigo]<QuantifierElimination>NewQE> QESignatureStructure.mesa!1 27-Nov-87 11:14:43 PST QESamplePointStructure.mesa!2 28-Jan-88 14:33:43 PST QECellStructure.mesa!2 28-Jan-88 14:54:50 PST QEClusterStructure.mesa!2 28-Jan-88 16:31:14 PST QECadStructure.mesa!2 28-Jan-88 16:31:49 PST QEBasis.mesa!1 28-Jan-88 14:58:53 PST QEProjectionStructure.mesa!1 28-Jan-88 15:44:34 PST QECadBasePhase.mesa!1 28-Jan-88 16:29:20 PST QECadExtension.mesa!1 28-Jan-88 16:28:46 PST QECadAdjacencies.mesa!2 10-Feb-88 19:48:38 PST QECadManager.mesa!1 30-Nov-87 15:15:38 PST QESignatureTableStructure.mesa!1 30-Nov-87 15:17:18 PST QEManager.mesa!2 29-Jan-88 12:29:55 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