Go to the first, previous, next, last section, table of contents.
- 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.