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

Go to the first, previous, next, last section, table of contents.