AS=SDIPFP(RL,A)
$(SPECIAL DISTRIBUTIVE POLYNOMIAL FROM POLYNOMIAL.
A IS A POLYNOMIAL IN RL
VARIABLES, RL NON-NEGATIVE. AS IS THE RESULT OF CONVERTING A TO A
DISTRIBUTIVE POLYNOMIAL.)
SAFE AL.
(1) $(A=0.) IF A=0 THEN ( AS=0. RETURN ).
(2) $(RL=0.) IF RL=0 THEN ( AS=LIST2(A,()). RETURN ).
(3) $(GENERAL CASE.) AS=(). RLP=RL-1. AP=A. REPEAT
( ADV2(AP.EL,AL,AP). ALS=SDIPFP(RLP,AL). REPEAT
( ADV2(ALS.ALS1,ELS,ALS). IF EL NE 0 THEN ELS=COMP2(RL,EL,ELS).
AS=COMP2(ELS,ALS1,AS) ) UNTIL ALS=() ) UNTIL AP=().
AS=INV(AS). RETURN..