factorization in function fields over finit fields
lift() in initial step
enable factorization over finite fields