Cantor%E2%80%93Zassenhaus algorithm