NonNegativeQ
------------

by

Stephan Kaufmann
Institute of Mechanics
ETH Zentrum
HG F38.4
CH-8092 Zurich
Switzerland
kaufmann@ifm.ethz.ch


Summary:

The function NonNegativeQ tries to find out if expressions can not be negative.

A more detailed discussion is available in the header of
"NonNegativeQ.m" and "NonNeg-Notebook.ma". Both files contain the
same definitions.


Installation:

Create a directory "SKPackages". It must be on the search path
of Mathematica (e.g. in the directory "Packages").
Either copy the file "NonNegativeQ.m" into the directory "SKPackages" or
copy the file "NonNeg-Notebook.ma" into the directory "SKPackages" and
rename the file to "NonNegativeQ.m".