due to a difference between std::vector.resize() and VectorXd.resize(), i was trying to allocate an infinite length vector. :)