emacs examples polymake +readline
