Hi, is PolyBoRi no longer maintained? https://groups.google.com/forum/?_escaped_fragment_=topic/sage-devel/9Uhnvm3wef8#!topic/sage-devel/9Uhnvm3wef8 Jakob