This header includes the eigen library and provides a various helpers. Other files in the library should depend on this header instead of the GMP library directly. Instead of including <eigen.h>, include "dlinear/libs/eigen.h".