DVINS(JL,EL,DL.RL,FL)
$(DEGREE VECTOR INSERTIN. THE JLTH VAR RAISED TO THE ELTH POWER IS
RECORDED IN DL. IF THE JLTH VAR ALREADY OCCURS IN DL, FL=DL AND
RL=0. IF NOT, THEN IF EL=0, THEN FL=DL AND RL=1, ELSE IF EL NE 0,
THEN RL=1 AND FL IS DL FOLLOWING THE INSERTION. MAY 17 79 DSA.)
SAFE DLP,JLP,ELP.
(1) $(DL EMPTY.) FL=DL. RL=1. IF DL=() THEN
( IF EL EQ 0 THEN RETURN ELSE
(FL=LIST2(JL,EL). RETURN) ).
(2) $(DL NONEMPTY.) DLP=DL. ADV2(DLP.JLP,ELP,DLP). IF JL GT JLP THEN
(IF EL EQ 0 THEN RETURN ELSE
(FL=COMP2(JL,EL,DL). RETURN) ).
IF JL EQ JLP THEN (RL=0. RETURN).
FL=LIST2(ELP,JLP).
WHILE DLP NE () DO
(ADV2(DLP.JLP,ELP,DLP).
IF JL EQ JLP THEN (FL=DL. RL=0. RETURN).
IF JL GT JLP THEN
(IF EL EQ 0 THEN (FL=DL. RETURN) ELSE
(FL=COMP4(ELP,JLP,EL,JL,FL).
FL=INV(FL). FL=CONC(FL,DLP). RETURN) ).
FL=COMP2(ELP,JLP,FL) ).
FL=COMP2(EL,JL,FL). FL=INV(FL). RETURN..