Poly.g PolyDifferentiator.g Simplifier.g PolyPrinter.g Main.java input output