Pascal/Turbo Pascal - Producto de polinomios

PROCEDURE prod_pol (a,b: tApArray; VAR c: tApArray; dima, dimb: tdimp; VAR dimt: tdimp);
VAR
i, j, indice: integer;
aux: tApArray;
BEGIN
New (c);
New (aux);
dimt:=dima+dimb;
FOR i:=0 TO dima DO
Writeln (a^[i]);
Writeln;
FOR j:=0 TO dimb DO
Writeln (b^[j]);
Writeln;
FOR i:=0 TO dima DO
FOR j:=0 TO dimb DO
BEGIN
indice:=i+j;
c^[indice]:=a^[i]*b^[j]+aux^[indice];
Writeln (a^[i],'*',b^[j],'=',c^[indice],'*X^',indice);
END;
Writeln;
END;

He hecho esto para multiplicar polinomios pero no me los multiplica bien, no se bien que fórmula meterle. Ayuda please.

PROCEDURE prod_pol (a,b: tApArray; VAR c: tApArray; dima, dimb: tdimp; VAR dimt: tdimp);
VAR
i, j, indice: integer;
aux: tApArray;
BEGIN
New (c);
New (aux);
dimt:=dima+dimb;
FOR i:=0 TO dima DO
Writeln (a^[i]);
Writeln;
FOR j:=0 TO dimb DO
Writeln (b^[j]);
Writeln;
FOR i:=0 TO dima DO
FOR j:=0 TO dimb DO
BEGIN
indice:=i+j;
c^[indice]:=a^[i]*b^[j]+aux^[indice];
aux^[indice]:=a^[i]*b^[j]
Writeln (a^[i],'*',b^[j],'=',c^[indice],'*X^',indice);
END;
Writeln;
END;

Funciona mejor pero sigue sin funcionar del todo.

PROCEDURE prod_pol (a,b: tApArray; VAR c: tApArray; dima, dimb: tdimp; VAR dimt: tdimp);
VAR
i, j, indice: integer;
aux: tApArray;
BEGIN
New (c);
New (aux);
dimt:=dima+dimb;
FOR i:=0 TO dima DO
Writeln (a^[i]);
Writeln;
FOR j:=0 TO dimb DO
Writeln (b^[j]);
Writeln;
FOR i:=0 TO dima DO
FOR j:=0 TO dimb DO
BEGIN
indice:=i+j;
c^[indice]:=a^[i]*b^[j]+aux^[indice];
aux^[indice]:=c^[indice];
Writeln (a^[i],'*',b^[j],'=',c^[indice],'*X^',indice);
END;
Writeln;
END;

Funciona del todo.

Si quisiera implementar esto mismo usando una lista enlazada ordenada ¿cómo lo haría?.

hola que tal .... cuendo intento correr el programa que dice que no identifica la variable taparray .. se separa o que ??? me gustaria que me ayudaces con un programa que tengo que hacer ... el programa tiene que sumar , restar , dividir , multiplicar polinomios .. y estos polinimios sean enteros y los exponentes tambien