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
|
#
# jruby examples for jas.
# $Id$
#
require "examples/jas"
# trinks 7 example
r = PolyRing.new( QQ(), "B,S,T,Z,P,W", PolyRing.lex); # or PolyRing.grad
puts "PolyRing: " + str(r);
puts;
ps = """
(
( 45 P + 35 S - 165 B - 36 ),
( 35 P + 40 Z + 25 T - 27 S ),
( 15 W + 25 S P + 30 Z - 18 T - 165 B**2 ),
( - 9 W + 15 T P + 20 S Z ),
( P W + 2 T Z - 11 B**3 ),
( 99 W - 11 B S + 3 B**2 ),
( B**2 + 33/50 B + 2673/10000 )
)
""";
f = r.ideal( ps );
puts "Ideal: " + str(f);
puts;
startLog()
g = f.GB();
puts "Groebner base: " + str(g);
puts;
|
