Example #1
0
print

ps = """
( 
 ( z1^4 z2^2 - w1 ),
 ( z1^5 z2^3 - w2 ),
 ( z1 - w3 ),
 ( z2 - w4 )
) 
"""

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

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

pf = """
( 
 ( z1^37 z2^20 )
) 
"""

fp = Ideal(r, pf)
print "Ideal: " + str(fp)
print

nf = fp.NF(rg)
print "NFs: " + str(nf)
Example #2
0
ps = """
(
 ( y1 + y2 - 1 ),
 ( x1 - y1^2 - y1 - y2 ),
 ( x2 - y1 - y2^2 ),
 ( x3 - y1 y2 )
)
"""

r = Ring(rs)
print "Ring: " + str(r)

i = Ideal(r, ps)
print "Ideal: " + str(i)

g = i.GB()
print "seq GB:", g

rsi = """
# polynomial ring:
Rat(x1,x2,x3) G
"""

ri = Ring(rsi)
print "Ring: " + str(ri)

y = application.Ideal(g.pset).intersect(ri.ring)
len = y.list.size()
print "seq intersect y: ", y

rs = """