BL=DVCOMP(DL1,DL2)
$(DEGREE VECTOR COMPARISON. BL=1,0, OR -1 ACCORDING AS DL1 IS
GT, EQ, OR LT DL2 IN THE INVERSE LEXICOGRAPHICAL ORDERING OF
MONOMIALS. MAY 17 79 DSA.)
SAFE JL1,EL1,JL2,EL2,CL1,CL2.
(1) CL1=DL1. CL2=DL2.
WHILE CL1 NE () AND CL2 NE () DO
(ADV2(CL1.JL1,EL1,CL1). ADV2(CL2.JL2,EL2,CL2).
IF JL1 GT JL2 THEN (BL=1. RETURN).
IF JL1 LT JL2 THEN (BL=-1. RETURN).
IF EL1 GT EL2 THEN (BL=1. RETURN).
IF EL1 LT EL2 THEN (BL=-1. RETURN) ).
IF CL1 NE () THEN (BL=1. RETURN).
IF CL2 NE () THEN (BL=-1. RETURN).
BL=0. RETURN..