ar-vinyeard compiles and runs:
- ar-function-kernel uses int for sign rather than bool in sign_at
- switched to dealing with a single functions themselves in value_at
- order of thresholds is handled correctly in ar-vineyard (max is the last one)
From artemis Fri Feb 22 23:41:38 2008
From: Dmitriy Morozov <morozov@cs.duke.edu>
Date: Fri, 22 Feb 2008 18:39:31 -0500
State: new
Subject: Incorrect sign_at() in UPolynomial<double>
Message-Id: <cd79223a108d3900-0-artemis@metatron>
UPolynomial<double>::sign_at() reports -1 as the sign of -2*x + 4 at x = 2.
Should be 0.