Обратите внимание, что
identical(polyroot(pol), polyroot(pol / 4))
# [1] TRUE
То есть, переходя от полинома к его корням, вы теряете информацию о коэффициенте члена высшей степени (в данном случае, 4). Например, 2x ^ 2-x = 2x (x-1/2), но также x ^ 2-x / 2 = x (x-1/2), так что корни совпадают, и мы только нормализовали первое полином по квадратичному члену. Таким образом,
Re(result) * 4
# [1] 4 3 2 1 0
дает результат, но также требует знания tail(pol, 1)
.