Привести подобные члены в многочлене и вывести многочлен по уменьшению степени х

unit Summa;
interface
procedure Vvod(var s:string;c:char);{ввод чисел до 255 знаков}
procedure Norm(var s1,s2,buf1:string);{приведение к равной длине}
function Summ(s1,s2,buf1:string):string;{собственно сложение}
implementation
procedure Vvod;
var i,k:byte;
begin
repeat
k:=0;
writeln('Введите число ',c);
readln(s);
for i:=1 to length(s) do
if not(s[i] in ['0'..'9']) then k:=1;
if k=1 then writeln('Число введено неверно, повторите ввод.');
until k=0;
end;
procedure Norm;
begin
buf1:='';
if length(s1) > length(s2) then
    begin
      Buf1:=Copy(s1,1,length(s1)-length(s2));
      Delete(s1,1,length(s1)-length(s2));
    end
else if length(s1) < length(s2) then
    begin
      Buf1:=Copy(s2,1,length(s2)-length(s1));
      Delete(s2,1,length(s2)-length(s1));
    end;
end;
function Summ;
var rez,xs:string;
    i,x,y,Buf2:integer;
begin
rez:=''; buf2:=0;
for i:=length(s1) downto 1 do
    begin
      Val(s1[i],x,x);
      Val(s2[i],y,y);
      x:=x+y+Buf2;
      Buf2:=0;
      if x div 10 <> 0 then
         begin
           x:=x mod 10;
           Buf2:=1;
         end;
      Str(x,xs);
      Rez:=xs+Rez;
    end;
if Buf2 <> 0 then
    begin
      Val(buf1[length(buf1)],x,x);
      Delete(Buf1,Length(buf1)-1,1);
      x:=x+Buf2;
      Str(x,xs);
      Rez:=xs+rez;
    end;
Rez:=Buf1+Rez;
Summ:=Rez;
end;
end.

uses crt,summa;
var a,b,c,bf:string;
begin
clrscr;
Vvod(a,'a');
Vvod(b,'b');
Norm(a,b,bf);
c:=Summ(a,b,bf);
writeln('c=',c);
readln
end.

uses crt;
{пользовательский тип}
type
  isType=^isList;
  isList=record
    x,y:integer;
    z:isType;
    end;
{преременные основной программы}
var
  a:isType;
{вывод одного элемента}
procedure showOne(x,y:integer);
  begin
    write(x);{}
    if y<>0 then write('*X^',y);{}
  end;
{сортируем по убыванию степеней}
procedure sortPolinom(var c:isType);
  var
    d,e:isType;
  begin
    d:=c;
    while d^.z<>nil do
      begin
        while (d^.y>d^.z^.y)and(d^.z<>nil)do d:=d^.z;
        if d^.z<>nil then
          begin
            e:=d^.z;
            d^.z:=d^.z^.z;
            e^.z:=c;
            c:=e;
            d:=c;
          end;
      end;
  end;
{вводим полином}
procedure inputPolinom(var c:isType);
  var
    d:isType;
    e,f:integer;
  begin
    c:=nil;
    writeln('Вводите коэффициенты и степени, целые числа, окончание 2 ноля');
    repeat
      write('коэффициент:');{показатель и степень}
      readln(e);
      write('степень:');
      readln(f);
      if(e=0)and(f=0)then break;
      {ищем в списке введенную степень}
      d:=c;
      while (d^.y<>f)and(d<>nil) do d:=d^.z;
      if d=nil then
        begin{нет, содаем элемент и включаем его в список}
          new(d);
          d^.x:=e;
          d^.y:=f;
          d^.z:=c;
          c:=d;
        end else inc(d^.x,e);
    until false;
    sortPolinom(c);
  end;
{освобождаем занимаемую память}
procedure freePolinom(var c:isType);
  var
    d:isType;
  begin
    while c<>nil do
      begin
        d:=c;
        c:=c^.z;
        dispose(d);{освобождаем}
      end;
  end;
{выводим полином на экран}
procedure showPolinom(c:isType);
  begin
    clrscr;
    while c<>nil do{пока не выведем весь список}
      begin
        showOne(c^.x,c^.y);
        c:=c^.z;{следующий элемент}
        if c<>nil then write(' + ');{если не достигли предела выводим знак}
      end;
    writeln;
  end;
begin
  clrscr;
  {вводим полином}
  inputPolinom(a);
  {выводим полином}
  showPolinom(a);
  {освобождаем память}
  freePolinom(a);
  readln;
end.

writeln('Вводите коэффициенты и степени, целые числа, окончание 2 ноля');
    repeat
      write('коэффициент:');{показатель и степень}
      readln(e);//например 2
      write('степень:');
      readln(f);//например 3
      if(e=0)and(f=0)then break;//если введем 0 0, конец ввода