fix test Short/factorize_mod7