Xref: utzoo comp.theory:1399 sci.math:14644
Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!usc!wuarchive!udel!haven!umd5!fermat.cs.jhu.edu!heath
From: heath@cs.jhu.edu (David Heath)
Newsgroups: comp.theory,sci.math
Subject: solution to system of quadratic equations
Message-ID: <heath.663542502@fermat.cs.jhu.edu>
Date: 10 Jan 91 21:05:37 GMT
Lines: 24

Say I have a set of variables X={x1,x2,...xn} and a set of equations of the 
form:

xi^2 +xj^2 - xk^2 - xl^2 = 0	(quadratic in four vars)

xi^2 +xj^2 - xk^2 - xl^2 >=0	(quadratic in four vars, inequality)

xi + cxj^2 + d = 0		(quadratic in one, linear in another)

xi + exj = 0			(linear, two vars)

xi <= xj			(linear, two vars, inequality)

c, d, e are just constants.

I want to know if there is a real solution (not necessarily algebraic).
I do not want to know what the solution is, just if there is one.
Is this problem in NP? I know that it is NP-hard. 

Any information is appreciated.

Thanks
-dave heath
heath@cs.jhu.edu