Вычисления в Wolfram

[Stensen]

Всем здравия. Уважаемые, подскажите как в Wolfram написать команду для приведения подобных членов (символьно) в выражении: $F(i+1) - F(i)$ , где: $F_k(i) = a_k i^k + a_{k-1} i^{k-1} + ... + a_1 i + a_0 \, \,$ для некоторого фиксированного $k$ , например для $k=4$ , где: $a_k$ коэффициенты еще не определенные - буковки? Нашел функцию $Symplify$ , определил свою функцию: $F[i_- ] := a_k i^k + a_{k-1} i^{k-1} + ... + a_1 i + a_0 $, написал команду: $Symplify[F[i+1] - F[i]]$ , но упрощает не до конца. Хотелось бы увидеть полином от $i$ , в котором все коэффициенты сгруппированы в скобочках, в идеале, или в максимально приведенном виде. Может можно как-то?

[Sender]

Collect? В последнем примере к каждому коэффициенту применено упрощение.

[Stensen]

Спасибо, буду пробовать