Проверить на равенство многочлены

Type
  Polinom = ^elem;
  elem = record
    info,n: integer; //n - количество коэффициентов
    next: Polinom
    end;
 
Var p,q,r,x: Polinom;
 
Procedure Create(ch: char; var p: Polinom);
  var 
    x,y: Polinom;
    a,k: integer;
  begin
    Writeln('Введите коэффициенты многочлена ',ch,'. Конец ввода: 0');
    Readln(a);
    k:=1;
    New(x);
    x^.info:=a;
    p:=x; 
    Readln(a);
    If a <> 0 then 
      Repeat 
        Inc(k); 
    New(y); 
    y^.info:=a; 
    x^.next:=y; 
    x:=y; 
    Readln(a) 
      Until a = 0; 
    x^.next:=NIL; 
    p^.n:=k; 
    Writeln 
  end; 
    
Function Equal(p,q: Polinom): boolean; 
  var fl: boolean;
  begin
    fl:=p^.n = q^.n;
    If fl then
      While p <> NIL do
    begin
      fl:=p^.info = q^.info;
      p:=p^.next;
      q:=q^.next;
      If not fl then break
    end;
      Equal:=fl
  end; 
    
Procedure Summa(p,q: Polinom; var r: Polinom); 
  var x,y: Polinom;
  begin
    If p^.n > q^.n then
      begin
        x:=p;
    p:=q;
    q:=x
      end;
    New(x);
    x^.info:=p^.info + q^.info;
    x^.n:=q^.n;
    r:=x;
    p:=p^.next;
    q:=q^.next;
    While p <> NIL do
      begin
    New(y);
    y^.info:=p^.info + q^.info;
    x^.next:=y;
    x:=y;
    p:=p^.next;
    q:=q^.next
      end;
    While q <> NIL do
      begin
    New(y);
        y^.info:=q^.info;
        x^.next:=y;
        x:=y;
        q:=q^.next
      end;
    x^.next:=NIL
  end; 
    
Begin 
  Create('p',p); 
  Create('q',q); 
  Writeln('Многочлены равны: ',Equal(p,q));
  Summa(p,q,r);
  Writeln('Коэффициенты многочлена r:');
  x:=r; 
  While x <> NIL do 
    begin 
      Write(x^.info,' ');
      x:=x^.next
    end;
  Writeln
End.