Dixon's algorithm