Пример #1
0
 def rightGB(self):
     '''Compute a right Groebner base.
     '''
     s = self.pset;
     F = s.list;
     t = System.currentTimeMillis();
     G = SolvableGroebnerBaseSeq().rightGB(F);
     t = System.currentTimeMillis() - t;
     print "executed rightGB in %s ms" % t; 
     return SolvableIdeal(self.ring,"",G);
Пример #2
0
 def isRightGB(self):
     '''Test if this is a right Groebner base.
     '''
     s = self.pset;
     F = s.list;
     t = System.currentTimeMillis();
     b = SolvableGroebnerBaseSeq().isRightGB(F);
     t = System.currentTimeMillis() - t;
     print "isRightGB executed in %s ms" % t; 
     return b;
Пример #3
0
(
 ( x^2 + y^3 )
)
"""

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

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

from edu.jas.ring import SolvableGroebnerBaseSeq

if SolvableGroebnerBaseSeq().isLeftGB(rg.list):
    print "is left GB"
else:
    print "is not left GB"

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

if SolvableGroebnerBaseSeq().isLeftGB(rg.list):
    print "twosided GB is left GB"
else:
    print "twosided GB is not left GB"

if SolvableGroebnerBaseSeq().isRightGB(rg.list):
    print "twosided GB is right GB"
Пример #4
0
    print "is not left syzygy"

Zr = SolvableSyzygyAbstract().rightZeroRelationsArbitrary(f.list)
#Z = SolvableSyzygyAbstract().rightZeroRelations( g );
Zpr = ModuleList(r.ring, Zr)
print "seq right syz Output:", Zpr
print
if SolvableSyzygyAbstract().isRightZeroRelation(Zpr.list, f.list):
    print "is right syzygy"
else:
    print "is not right syzygy"

rg = f.leftGB()
print "seq left Output:", rg
print
if SolvableGroebnerBaseSeq().isLeftGB(rg.list):
    print "is left GB"
else:
    print "is not left GB"
g = rg.list

rg = f.twosidedGB()
print "seq twosided Output:", rg
print
if SolvableGroebnerBaseSeq().isTwosidedGB(rg.list):
    print "is twosided GB"
else:
    print "is not twosided GB"

rgb = SolvableGroebnerBaseSeq().rightGB(f.list)
rp = OrderedPolynomialList(r.ring, rgb)