
What does this directory contain?
----------------------------------
This directory contains the semi-decision procedure
for polynomial equations and inequalities.
MODULE : decision-procedure
PACKAGES: This module contains the following packages, each is
in a separate file.
1. decision-procedure-core: The core decision procedure functions
	Uses package 'polynomial-representation-core	(ONLY)

decide-test2.0.lisp:
	In the user-package.
	Test bench for decision procedures.

How to test the decision procedure?
-----------------------------------
Run make from this directory.
If mlisp is pointing to the correct lisp,
you should see outputs which state "test
passed" on the screen.
If not, edit Makefile to replace "mlisp"
by your Lisp executable.
