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
|
#
# jruby examples for jas.
# $Id$
#
require "examples/jas"
# logic example from Kreutzer JdM 2008
#r = Ring.new( "Mod 2 (a,f,p,u) G" );
r = PolyRing.new( GF(2), "(a,f,p,u)", PolyRing.grad );
puts "Ring: " + str(r);
puts;
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 );
puts "Ideal: " + str(f);
puts;
rg = f.GB();
puts "Output:" + str(rg);
puts;
|
