Redirecting to Faugère F4 algorithm