G = F.GB() print "G = " + str(G) print "isGB(G) = " + str(G.isGB()) print F = r.ideal(list=[f1, f2, c1, c2, s]) print "F = " + str(F) print G = F.GB() print "G = " + str(G) print "isGB(G) = " + str(G.isGB()) print p = r.random(3, 6, 4) print "p = " + str(p) print pp = p**5 print "#pp = " + str(len(pp)) print "p == pp: " + str(p == pp) print "pp == pp: " + str(pp == pp) print "pp-pp == 0: " + str(pp - pp == 0) print #exit(0); ri = WordPolyRing(ZZ(), "x,y") print "WordPolyRing: " + str(ri) print
G = F.GB(); print "G = " + str(G); print "isGB(G) = " + str(G.isGB()); print; F = r.ideal( list=[f1,f2,c1,c2,s] ); print "F = " + str(F); print; G = F.GB(); print "G = " + str(G); print "isGB(G) = " + str(G.isGB()); print; p = r.random(3,6,4); print "p = " + str(p); print; pp = p**5; print "pp = " + str(len(pp)); print "p == pp: " + str(p == pp); print "pp == pp: " + str(pp == pp); print "pp-pp == 0: " + str(pp-pp == 0); print; #exit(0); ri = WordPolyRing(ZZ(),"x,y"); print "WordPolyRing: " + str(ri); print;