Python SolvableSubModule.rightGB 예제들

예제 #1

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

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";
else:
   print "is not twosided GB";


from jas import startLog
startLog();

frg = f.rightGB();
print "seq right GB:", frg;
print;

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

예제 #2

print "seq twosided GB:", ftg;
print;

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

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

if ftg.isTwosidedGB():
   print "is twosided GB";
else:
   print "is not twosided GB";


from jas import startLog
startLog();

frg = f.rightGB();
print "seq right GB:", frg;
print;

if frg.isRightGB():
   print "is right GB";
else:
   print "is not right GB";

예제 #3

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

#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);

rpq = PolyRing(rq,"v,w",PolyRing.lex);
print "PolyRing: rpq = " + str(rpq);

vrel = [ v, t, t * v + x,
         w, t, t * w + y
       ];

예제 #4

#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)

rpq = PolyRing(rq, "v,w", PolyRing.lex)
print "PolyRing: rpq = " + str(rpq)

vrel = [v, t, t * v + x, w, t, t * w + y]

print "vrel: = " + str([str(f) for f in vrel])
print

예제 #5

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

#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);

rpq = PolyRing(rq,"v,w",PolyRing.lex);
print "PolyRing: rpq = " + str(rpq);

vrel = [ v, t, t * v + x,
         w, t, t * w + y
       ];