(module Gsl_eigen)