1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
#
# jython examples for jas.
# $Id$
#
from jas import Ring, PolyRing, GF
# logic example from Kreutzer JdM 2008
#r = Ring( "Mod 2 (a,f,p,u) G" );
r = PolyRing( GF(2), "(a,f,p,u)", PolyRing.grad );
print "Ring: " + str(r);
print;
ks = """
(
( a^2 - a ),
( f^2 - f ),
( p^2 - p ),
( u^2 - u )
)
""";
ps = """
(
( p f + p ),
( p u + p + u + 1 ),
( a + u + 1 ),
( a + p + 1 )
)
""";
k = r.ideal( ks );
p = r.ideal( ps );
f = k.sum( p );
print "Ideal: " + str(f);
print;
rg = f.GB();
print "Output:", rg;
print;
|
