File: getstart-factor.rb

package info (click to toggle)
jas 2.7.200-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 15,732 kB
  • sloc: java: 164,370; python: 14,882; ruby: 14,509; xml: 583; makefile: 545; sh: 349
file content (27 lines) | stat: -rw-r--r-- 454 bytes parent folder | download 
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
 
#
# jruby examples for jas.
# $Id$
#

require "examples/jas"

# simple factorization example

r = PolyRing.new( QQ(), "x,y,z", PolyRing.lex); # or PolyRing.grad
puts "PolyRing: " + str(r);
puts;

p = (x+y+z)**11*(x+1)**5*(y+z)**3;
#puts "p: " + p.to_s;
#puts;

f = r.factors( p );
puts "factors: " + f.map{ |k,v| k.to_s + "**" + v.to_s }.join(", ");
puts;

mp = f.map{ |k,v| k**v }.reduce(:*)
puts "p == mp: " + (p==mp).to_s
puts

startLog()
terminate()