m5 = ( 0, l**2, u, 0 ) m6 = ( 1, 0, 0, l**2 ) m7 = ( 1, 0, l + 3 * v, 0 ) m8 = ( 1, 2, 0, l**2 ) m9 = ( u, 0, 0, v * l + v**2 ) m10 = ( l + v, 0, 0, u ) m11 = ( l**2, 0, 0, v ) m12 = ( l**2, 0, 2 * u,v ) ml = [m1,m2,m3,m4,m5,m6,m7,m8,m9,m10,m11,m12]; #ml=[ ( 0, 1, l + v, 0 ), ( 0, v, u * l**2, 0 ), ( 0, l + 3 * v, 0, u ), ( 0, v * l + v**2, u**2, 0 ), ( 0, l**2, u, 0 ), ( 1, 0, 0, l**2 ), ( 1, 0, l + 3 * v, 0 ), ( 1, 2, 0, l**2 ), ( u, 0, 0, v * l + v**2 ), ( l + v, 0, 0, u ), ( l**2, 0, 0, v ), ( l**2, 0, 2 * u,v ) ]; #print "ml = " + str(ml); #print; sm = m.submodul(list=ml); #sm = SubModule(m,list=ml); print "sm = " + str(sm); xm = SubModule(PolyRing(QQ(),"u, v, l",PolyRing.lex),list=[ ( 0, 1, ( l + v ), 0 ), ( 0, v, u * l**2, 0 ), ( 0, ( l + 3 * v ), 0, u ), ( 0, ( v * l + v**2 ), u**2, 0 ), ( 0, l**2, u, 0 ), ( 1, 0, 0, l**2 ), ( 1, 0, ( l + 3 * v ), 0 ), ( 1, 2, 0, l**2 ), ( u, 0, 0, ( v * l + v**2 ) ), ( ( l + v ), 0, 0, u ), ( l**2, 0, 0, v ), ( l**2, 0, 2 * u, v ) ]) # SubModule(PolyRing(QQ(),"u, v, l",PolyRing.lex),list=[ ( 0, 1, ( l + v ), 0 ), ( 0, v, u * l**2, 0 ), ( 0, ( l + 3 * v ), 0, u ), ( 0, ( v * l + v**2 ), u**2, 0 ), ( 0, l**2, u, 0 ), ( 1, 0, 0, l**2 ), ( 1, 0, ( l + 3 * v ), 0 ), ( 1, 2, 0, l**2 ), ( u, 0, 0, ( v * l + v**2 ) ), ( ( l + v ), 0, 0, u ), ( l**2, 0, 0, v ), ( l**2, 0, 2 * u, v ) ]) # SubModule(PolyRing(QQ(),"u, v, l",PolyRing.lex),list=[ ( 0, (1,), l + v, 0 ), ( 0, v, u * l**2, 0 ), ( 0, l + (3,) * v, 0, u ), ( 0, v * l + v**2, u**2, 0 ), ( 0, l**2, u, 0 ), ( (1,), 0, 0, l**2 ), ( (1,), 0, l + (3,) * v, 0 ), ( (1,), (2,), 0, l**2 ), ( u, 0, 0, v * l + v**2 ), ( l + v, 0, 0, u ), ( l**2, 0, 0, v ), ( l**2, 0, (2,) * u, v ) ]); # SubModule(PolyRing(QQ(),"u, v, l",PolyRing.lex),list=[ ( 0, (1,), l + v, 0 ), ( 0, v, u * l**2, 0 ), ( 0, l + (3,) * v, 0, u ), ( 0, v * l + v**2, u**2, 0 ), ( 0, l**2, u, 0 ), ( (1,), 0, 0, l**2 ), ( (1,), 0, l + (3,) * v, 0 ), ( (1,), (2,), 0, l**2 ), ( u, 0, 0, v * l + v**2 ), ( l + v, 0, 0, u ), ( l**2, 0, 0, v ), ( l**2, 0, (2,) * u, v ) ]); print "xm = " + str(xm); print; ## rg = sm.GB();
# # jython examples for jas. from jas import PolyRing, QQ, Module #, SubModule # module example p = PolyRing(QQ(),"u,v,l", PolyRing.lex); #r = Module( "Rat(u,v,l) L", cols=4 ); r = Module( "", p, cols=4 ); print "Module: " + str(r); print; G = r.gens(); print "gens() = ", [str(e) for e in G]; L = [ e.elem.val for e in G ] print "gens() = ", [str(e) for e in L]; M = r.submodul( list=L ); print "M = ", M; P = M.mset.getPolynomialList(); print "P = ", P.toScript(); print "M.isGB(): ", M.isGB();
# # jython examples for jas. from jas import PolyRing, QQ, Module # , SubModule # module example p = PolyRing(QQ(), "u,v,l", PolyRing.lex) # r = Module( "Rat(u,v,l) L", cols=4 ); r = Module("", p, cols=4) print "Module: " + str(r) print G = r.gens() print "gens() = ", [str(e) for e in G] L = [e.elem.val for e in G] print "gens() = ", [str(e) for e in L] M = r.submodul(list=L) print "M = ", M P = M.mset.getPolynomialList() print "P = ", P.toScript() print "M.isGB(): ", M.isGB()