Is {{-4, 0}, {0, 2}} positive definite?