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..