Is a copy of the polys project on http://guichaz.free.fr/polysh/. Just putting it on github for convenience.