Added pan + zoom to diagram viewer; show_diagram() didn't return; added PyQt, PyOpenGL, NumPy as dependencies in the docs
#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