I'll have a look to EigenDecomposition but does it mean that WITH_EIGEN is mandatory to get this II functors?