Python SolvableModule Exemples

Exemple #1

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

rs = SolvPolyRing(QQ(), "x,y,z,t", PolyRing.lex, trel)

#exit(0)

f = rs.ideal("", [t**2 + z**2 + x**2 + y**2 + 1])
print "f: " + str(f)
tf = f.twosidedGB()
print "t: " + str(tf)
print

#exit(0)

r = SolvableModule("", rs)
print "SolvableModule: " + str(r)
print

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

Exemple #2

Fichier : solvablemodule.py Projet : Eeeeddddy/gittest

(
 ( y ), ( x ), ( _i_ x y )
 ( X ), ( Y ), ( _i_ Y X )
)
"""

rsc = """
C(Y,X,x,y) G |2|
RelationTable
(
 ( 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

Exemple #3

Fichier : solv_module_ts.py Projet : siwiwit/java-algebra-system

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

rs = SolvPolyRing(QQ(),"x,y,z,t",PolyRing.lex,trel);

#exit(0)

f = rs.ideal("",[t**2 + z**2 + x**2 + y**2 + 1]);
print "f: " + str(f);
tf = f.twosidedGB();
print "t: " + str(tf);
print;

#exit(0)

r = SolvableModule("",rs);
print "SolvableModule: " + str(r);
print;

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