/*
**  See LICENSE for license and copyright information for this software.
**  
**  $Id: README,v 1.2 2012/04/19 01:36:22 cram Exp $
*/


A solver for monotone polynomial equations
------------------------------------------


The input to the solver is a set of equations given by the following grammar:

Input ::= { TopLevel } Eqn*
TopLevel ::= comma separated (non-empty) list of VARs

Eqn ::= VAR EQUAL Rhs

Rhs ::- SumExpr
      | "neg" VAR
      | Oper "(" ExprList ")"

SumExpr ::= ProductExpr "+" SumExpr 
	|   ProductExpr

ProductExpr ::= Const ("*" VAR)*

Oper ::= "max"
      |  "argmax"
      |  "sum"

ExprList ::= ProductExpr ("," ProductExpr)*

VAR is an identifier (alpha alphanumunderscore*)
Const is a floating point constant



