Python SolvableSubModule.twosidedGB 예제들

예제 #1

파일: quantum.py 프로젝트: lukaszzdanikowski/randoop

print;

flg = f.leftGB();
print "seq left GB:", flg;
print;

from edu.jas.module   import ModSolvableGroebnerBaseAbstract;

if ModSolvableGroebnerBaseAbstract().isLeftGB( flg.mset ):
   print "is left GB";
else:
   print "is not left GB";



ftg = f.twosidedGB();
print "seq twosided GB:", ftg;
print;

if ModSolvableGroebnerBaseAbstract().isLeftGB( ftg.mset ):
   print "twosided GB is left GB";
else:
   print "twosided GB is not left GB";

if ModSolvableGroebnerBaseAbstract().isRightGB( ftg.mset ):
   print "twosided GB is right GB";
else:
   print "twosided GB is not right GB";

if ModSolvableGroebnerBaseAbstract().isTwosidedGB( ftg.mset ):
   print "is twosided GB";

예제 #2

파일: solvablemodule.py 프로젝트: Eeeeddddy/gittest

(
 ( y ), ( x ), ( 0i1 x y )
 ( X ), ( Y ), ( 0i1 Y X )
)
"""

r = SolvableModule(rsc)
print "SolvableModule: " + str(r)
print

ps = """
(
 ( ( x + 1 ), ( y ) ),
 ( ( x y ), ( 0 ) ),
 ( ( x - X ), ( x - X ) ),
 ( ( y - Y ), ( y - Y ) )
)
"""

f = SolvableSubModule(r, ps)
print "SolvableSubModule: " + str(f)
print

flg = f.leftGB()
print "seq left GB:", flg
print

ftg = f.twosidedGB()
print "seq twosided GB:", ftg
print

예제 #3

ssm = SolvableSubModule( sr, list=ml );
print "ssm: " + str(ssm);
print;

xsm = SolvableSubModule(SolvPolyRing(CC(),"X, Y, x, y",PolyRing.lex,rel=[y, x, ( ((0,),(1,)) * x * y ), Y, X, ( ((0,),(1,)) * X * Y )]),list=[ ( x - X, x - X ), ( x + ((1,),), y ), ( y - Y, y - Y ), ( x * y, 0 ) ]);
#     SolvableSubModule(SolvPolyRing(CC(),"X, Y, x, y",PolyRing.lex,rel=[y, x, ( ((0,),(1,)) * x * y ), Y, X, ( ((0,),(1,)) * X * Y )]),list=[ ( x - X, x - X ), ( x + ((1,),), y ), ( y - Y, y - Y ), ( x * y, 0 ) ]);
#     SolvableSubModule(SolvPolyRing(CC(),"X, Y, x, y",PolyRing.lex,(( y ), ( x ), ( ((0,),(1,)) * x * y ),( Y ), ( X ), ( ((0,),(1,)) * X * Y ))),list=[ ( x - X, x - X ), ( x + ((1,),), y ), ( y - Y, y - Y ), ( x * y, 0 ) ]);
print "xsm: " + str(xsm);
print;

mlg = ssm.leftGB();
print "mlg: " + str(mlg);
print;

mtg = ssm.twosidedGB();
print "mtg: " + str(mtg);
print;

#print "------------------------------------";

#print "globals() = " + str(globals());

terminate();
sys.exit();

print "globals() = " + str(globals());
print "locals()  = " + str(locals());
print "vars()    = " + str(vars());

예제 #4

subm = [[0, t**2 + z**2 + x**2 + y**2 + 1], [x**2 + y**2, z]]

m = SolvableSubModule(r, "", subm)
print "SolvableSubModule: " + str(m)
print

#exit()
#startLog();

lg = m.leftGB()
print "seq left GB: " + str(lg)
print "is left GB: " + str(lg.isLeftGB())
print

tg = m.twosidedGB()
print "seq twosided GB: " + str(tg)
print "is twosided GB: " + str(tg.isTwosidedGB())
print "is right GB: " + str(tg.isRightGB())
print

#exit()

rg = m.rightGB()
print "seq right GB: " + str(rg)
print "is right GB: " + str(rg.isRightGB())
print

# as quotients to coefficients
rq = SRF(rs)

예제 #5

파일: solv_module_ts.py 프로젝트: rjolly/jas

         [ x**2 + y**2,     z ]
       ];

m = SolvableSubModule( r, "", subm );
print "SolvableSubModule: " + str(m);
print;

#exit()
#startLog();

lg = m.leftGB();
print "seq left GB: " + str(lg);
print "is left GB: " + str(lg.isLeftGB());
print;

tg = m.twosidedGB();
print "seq twosided GB: " + str(tg);
print "is twosided GB: " + str(tg.isTwosidedGB());
print "is right GB: " + str(tg.isRightGB());
print;

#exit()

rg = m.rightGB();
print "seq right GB: " + str(rg);
print "is right GB: " + str(rg.isRightGB());
print;


# as quotients to coefficients
rq = SRF(rs);

예제 #6

파일: all_rings.py 프로젝트: rjolly/jas

ssm = SolvableSubModule( sr, list=ml );
print "ssm: " + str(ssm);
print;

xsm = SolvableSubModule(SolvPolyRing(CC(),"X, Y, x, y",PolyRing.lex,rel=[y, x, ( ((0,),(1,)) * x * y ), Y, X, ( ((0,),(1,)) * X * Y )]),list=[ ( x - X, x - X ), ( x + ((1,),), y ), ( y - Y, y - Y ), ( x * y, 0 ) ]);
#     SolvableSubModule(SolvPolyRing(CC(),"X, Y, x, y",PolyRing.lex,rel=[y, x, ( ((0,),(1,)) * x * y ), Y, X, ( ((0,),(1,)) * X * Y )]),list=[ ( x - X, x - X ), ( x + ((1,),), y ), ( y - Y, y - Y ), ( x * y, 0 ) ]);
#     SolvableSubModule(SolvPolyRing(CC(),"X, Y, x, y",PolyRing.lex,(( y ), ( x ), ( ((0,),(1,)) * x * y ),( Y ), ( X ), ( ((0,),(1,)) * X * Y ))),list=[ ( x - X, x - X ), ( x + ((1,),), y ), ( y - Y, y - Y ), ( x * y, 0 ) ]);
print "xsm: " + str(xsm);
print;

mlg = ssm.leftGB();
print "mlg: " + str(mlg);
print;

mtg = ssm.twosidedGB();
print "mtg: " + str(mtg);
print;

#print "------------------------------------";

#print "globals() = " + str(globals());

terminate();
sys.exit();

print "globals() = " + str(globals());
print "locals()  = " + str(locals());
print "vars()    = " + str(vars());

예제 #7

파일: solv_module_ts.py 프로젝트: siwiwit/java-algebra-system

         [ x**2 + y**2,     z ]
       ];

m = SolvableSubModule( r, "", subm );
print "SolvableSubModule: " + str(m);
print;

#exit()
#startLog();

lg = m.leftGB();
print "seq left GB: " + str(lg);
print "is left GB: " + str(lg.isLeftGB());
print;

tg = m.twosidedGB();
print "seq twosided GB: " + str(tg);
print "is twosided GB: " + str(tg.isTwosidedGB());
print "is right GB: " + str(tg.isRightGB());
print;

#exit()

rg = m.rightGB();
print "seq right GB: " + str(rg);
print "is right GB: " + str(rg.isRightGB());
print;


# as quotients to coefficients
rq = SRF(rs);