Fixed UPolynomial<T>::sign_at_negative_infinity() + Simulator::add()
Bug in the former and resulting logic problems in the latter.
#ifndef __NUMBER_TRAITS_H__
#define __NUMBER_TRAITS_H__
template<class NumberType_>
class number_traits
{
public:
typedef NumberType_ NumberType;
static NumberType& normalize(NumberType& n) { return n; }
};
#endif