polynomial: fix a bug in Polynomial::Map
semilinear: some cleanup
debug_output: use __FUNCTION__ instead of __FILE__
sparse_vec: cleanup
linear_set: delete the sets once they're unneeded
debug_output: better output
pseudo_linear: cleanup