tests/test_eigen_tools.cc