Python SubModule示例

示例#1

r = Module("Rat(u,v,l) L")
print "Module: " + str(r)
print

ps = """
(
(     ( 1 ),         ( 2 ),       ( 0 ),       ( l^2 ) ),
(     ( 0 ),   ( l + 3 v ),       ( 0 ),         ( u ) ),
(     ( 1 ),         ( 0 ),       ( 0 ),       ( l^2 ) ),
( ( l + v ),         ( 0 ),       ( 0 ),         ( u ) ),
(   ( l^2 ),         ( 0 ),       ( 0 ),         ( v ) ),
(     ( u ),         ( 0 ),       ( 0 ), ( v l + v^2 ) ),
(     ( 1 ),         ( 0 ), ( l + 3 v ),         ( 0 ) ),
(   ( l^2 ),         ( 0 ),     ( 2 u ),         ( v ) ),
(     ( 0 ),         ( 1 ),   ( l + v ),         ( 0 ) ),
(     ( 0 ),       ( l^2 ),       ( u ),         ( 0 ) ),
(     ( 0 ),         ( v ),   ( u l^2 ),         ( 0 ) ),
(     ( 0 ), ( v l + v^2 ),     ( u^2 ),         ( 0 ) )
) 
"""

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

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

print "isGB:", rg.isGB()

示例#2

文件： armbruster.py 项目： Eeeeddddy/gittest

(     ( 1 ),         ( 2 ),       ( 0 ),       ( l^2 ) ),
(     ( 0 ),   ( l + 3 v ),       ( 0 ),         ( u ) ),
(     ( 1 ),         ( 0 ),       ( 0 ),       ( l^2 ) ),
( ( l + v ),         ( 0 ),       ( 0 ),         ( u ) ),
(   ( l^2 ),         ( 0 ),       ( 0 ),         ( v ) ),
(     ( u ),         ( 0 ),       ( 0 ), ( v l + v^2 ) ),
(     ( 1 ),         ( 0 ), ( l + 3 v ),         ( 0 ) ),
(   ( l^2 ),         ( 0 ),     ( 2 u ),         ( v ) ),
(     ( 0 ),         ( 1 ),   ( l + v ),         ( 0 ) ),
(     ( 0 ),       ( l^2 ),       ( u ),         ( 0 ) ),
(     ( 0 ),         ( v ),   ( u l^2 ),         ( 0 ) ),
(     ( 0 ), ( v l + v^2 ),     ( u^2 ),         ( 0 ) )
) 
""";

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

#from edu.jas.module import *
#print "SubModule: " + str(ModuleList.getModuleList(4,f.pset));
#print;

rg = f.GB();
print "seq Output:", rg;
print;

#print "SubModule: " + str(ModuleList.getModuleList(4,rg));
#print;

示例#3

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();
## print "rg: " + str(rg);
## print "isGB: " + str(rg.isGB());
## print;