eigen 3.2.1