Implement better static assertion checking to make sure that the first assertion is a static one and not a runtime one.
Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related algorithms.
For more information go to http://eigen.tuxfamily.org/.