Rabin's test of irreducibility
wrap classes