умножение многочленов, реализация списками

[Neitrosha]

procedure TForm1.Button3Click(Sender: TObject);
var t1,t2,w:link;
begin
R:=nil;
t1:=P;
t2:=Q;
While (t1<>nil) and(t2<>nil) do
begin new(w); w^.next:=nil;
if t1^.st=t2^.st
then
begin w^.coef:=t1^.coef*t2^.coef; w^.st:=t1^.st+t2^.st;
AddToEnd(R,w);
t1:=t1^.next;
end
else
if t1^.st<>t2^.st
then
begin w^.coef:=t1^.coef*t2.coef; w^.st:=t1^.st+t2^.st;
AddToEnd(R,w);
t2:=t2^.next;
end
else
begin
w^.coef:=t1^.coef*t2^.coef;
w^.st:=t1^.st+t2^.st;
if w^.coef<>0
then AddToEnd(R,w);
t1:=t1^.next;
t2:=t2^.next;
end;
end;
if t1<>nil
then
While t1<>nil do
begin
new(w);
w^.coef:=t1^.coef; w^.st:=t1^.st; w^.next:=nil;
addToEnd(R,w);
t1:=t1^.next;
end
else
While t2<>nil do
begin
new(w);
w^.coef:=t2^.coef; w^.st:=t2^.st; w^.next:=nil;
addToEnd(R,w);
t2:=t2^.next;
end;
PrintPolinom(R,edit7);
end;

подскажите, где ошибка, правильно перемножает члены первого многочлена на первый член второго многочлена, а потом просто выводит сам первый многочлен. пример:

(+2x^4+3x^3)(+1x^5+1x^3)=+2x^9+2x^7 +2x^4+3x^3