Типичный пример:

нужно представить в виде

.
Приходим к выражению

, где

- коэффициенты после приведения к общему знаменателю выражения (1), содержащие неизвестные

. (Просто я тут не расписываю эти коэффициенты)
Дальше нужно, не выписывая вручную уравнения

,

,

, командами Maple получить значения

. Как?
Для порядка многочленов 2 или даже 3 можно вручную это сделать пару раз. Но когда много раз и порядки намного выше - слишком долго. Должны быть инструменты в Maple для таких задач. Уравнение (2) может быть можно решить командой solve со специальной директивой, указывающей переменную, при степенях которой нужно собирать и вычислять коэффициенты?
-- 25.04.2013, 16:55 --Похоже нашёл: это директива identity.
solve(identity(3/(x^2+4*x+4) = A*(x+B)^P, x), [A,B,P]);
[[A = 3, B = 2, P = -2]]