File: boolean_gb.rb

package info (click to toggle)
jas 2.5.4408-1
  • links: PTS, VCS
  • area: main
  • in suites: buster, jessie, jessie-kfreebsd, stretch
  • size: 10,976 kB
  • ctags: 15,216
  • sloc: java: 111,905; python: 11,461; ruby: 9,204; makefile: 401; xml: 240; sh: 194
file content (49 lines) | stat: -rw-r--r-- 1,026 bytes parent folder | download | duplicates (3)
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
47
48
49
#
# jruby examples for jas.
# $Id: boolean_gb.rb 3785 2011-09-29 21:43:06Z kredel $
#

require "examples/jas"

# Boolean coefficient boolean GB
# see S. Inoue and A. Nagai "On the Implementation of Boolean Groebner Bases" in ASCM 2009
# Z_2 regular ring coefficent example


r = PolyRing.new(RR(ZM(2),3),"x,y",PolyRing.lex);
puts "r  = " + str(r);
#puts len(r.gens())

s1,s2,s3,x,y = r.gens();
one = r.one();
puts "one = " + str(one);
puts "s1  = " + str(s1);
puts "s2  = " + str(s2);
puts "s2  = " + str(s3);
puts "x   = " + str(x);
puts "y   = " + str(y);

brel = [ x**2 - x, y**2 - y ]; 

puts "brel = " + str(brel[0]) + ", " + str(brel[1]);

pl = [ ( one + s1 + s2 ) * ( x*y + x +y ), s1 * x + s1, s2 * y + s2, x * y ];
#pl = [ ( one ) * ( x*y + x +y ), s1 * x + s1, s2 * y + s2, x * y ];

pl = pl + brel;


startLog();

f = ParamIdeal.new(r,"",pl);
puts "Ideal: " + str(f);

gb = f.regularGB();
puts "boolean GB: " + str(gb);

#ss = gb.stringSlice();
#puts "regular string slice: " + str(ss);

terminate();
#sys.exit();