Интеллектуальные информационные системы. Макаренко С.И. - 136 стр.

     Подразумевается, что между всеми термами списка стоят знаки '+'.
Представлением многочлена Q(x) будет
     [х(4,1), х(1,2), х(-3,3), х(7,4), х(8,5)]
     Сложение многочленов. Теперь напишем целевые утверждения для
сложения двух многочленов. Сложение многочленов
     3-2х^2+4х^3+6х^6
     -1+3х^2-4х^3
     в результате дает
     2+х^2+6х^6
     Аргументами     целевого    утверждения     являются     многочлены,
представленные в виде списков. Ответ будет получен также в виде списка.
     Сложение многочлена          Р   с     многочленом   Q   осуществляется
следующим образом.
     Граничное условие:
                         Р, складываемый с [], дает Р.
                         [], складываемый с Q, дает Q.
     Рекурсивное условие:
      При сложении Р с Q, в результате чего получается многочлен R,
                           возможны 4 случая:
     1. Степень первого терма в Р меньше, чем степень первого терма в Q. В
     этом случае первый терм многочлена Р образует первый терм в R, а
     хвост R получается при прибавлении хвоста Р к Q. Например, если Р и
     Q имеют вид
           Р(х)=3х^2+5х^3
           Q(x)=4x^3+3x^4
     то первый терм R(x) равен 3х^2 (первому терму в Р(х)). Хвост R(x)
     равен 9х^3+3х^4, т.е. результату сложения Q(x) и хвоста Р(х);
     2. Степень первого терма в Р больше степени первого терма в Q. В
     данном случае первый терм в Q образует первый терм в R, а хвост R
     получается при прибавлении Р к хвосту Q. Например, если
           Р(х)=2х^3+5х^'4
           Q(x)=3x^3-x^4
     то первый терм R(x) равен 3х^2 (первому терму в Q(x)), а хвост R(x)
     равен 2х^3+4х^4 (результату сложения Р(х) и хвоста Q(x));
     3. Степени первых термов в Р и Q равны, а сумма их коэффициентов
     отлична от нуля. В таком случае первый терм в R имеет коэффициент,
     равный сумме коэффициентов первых термов в Р и Q. Степень первого

                                      135