Динамические списки. Полином. Приведение подобных.

 type
  list=^ss;
  ss=record
         koef:integer;  //коэффициент
         step:integer; //Степень полинома
         next:list;
  end;

procedure pod(top:list;var p:list);
var tmp,tmp2:list;
 begin
  p:=top;q:=p^.next;
   while p<>nil do
    begin
      while q<>nil do
       begin
        q:=p;   //дабы предотвратить пропуск эл-та
        if (q^.next^.step=p^.step) then
         begin
                p^.koef:=p^.koef+q^.next^.koef; //заносим в главное
                tmp:=p;    //запоминаем указатель  главного эл-та
                p:=q;     //присваиваем предпозицию совпадения
                tmp2:=p^.next;  //сохраняем совпадение во временный указ.
                p^.next:=p^.next^.next;     //изменяем следующий символ
                q^.next:=q^.next^.next;      //также только с q
                dispose(tmp2);  //удаляем совпадение из памяти
                p:=tmp; // возращаем указатель к главному эл-ту
 
         end;
        q:=q^.next;
       end;
      p:=p^.next;
    end;
 
 end;