make sure RootOf uses PurePoly