/* Load Maxima Grobner from local files */
push("/home/marek/Repos/MaximaGrobner/branches/f4grobner/$$$.{fasl,lisp,lsp}",file_search_lisp);
load("mx-grobner");