Update functions.sage

New finite_dimensional_extremality_test(). Get rid of maxima-based "solve" in favor of linear algebra code.