`gb_comp'
---------

gb_comp(PLIST1, PLIST2)
     :: Checks whether two polynomial lists are equal or not as a set

RETURN 0 OR 1

PLIST1  PLIST2

   * This function checks whether PLIST1 and PLIST2 are equal or not as
     a set .

   * For the same input and the same term ordering different functions
     for Groebner basis computations may produce different outputs as
     lists. This function compares such lists whether they are equal as
     a generating set of an ideal.

     [243] C=cyclic(6)$
     [244] V=[c0,c1,c2,c3,c4,c5]$
     [245] G0=gr(C,V,0)$
     [246] G=tolex(G0,V,0,V)$
     [247] GG=lex_tl(C,V,0,V,0)$
     [248] gb_comp(G,GG);
     1

