gmp 0.5.41 → 0.5.47

data/test/gmp_tgcd.rb

@@ -1,64 +1,64 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class GMP_TGCD < Test::Unit::TestCase
   def setup
     @rand_state = GMP::RandState.new
     @min_operand_bitsize = 1
   end
-  
+
   def one_test(op1, op2, ref, i)
     g1, s, t = op1.gcdext(op2)
-    
+
     if ref# and ref != g1
       assert_true(ref == g1, "GMP::Z#gcdext should work...")
     end
-    
+
     gcdext_valid_p(op1, op2, g1, s)
-    
+
     g2 = op1.gcd(op2)
     assert_equal(g1, g2, "gcd and gcdext should produce the same gcd.")
-    
+
     g2, temp1, temp2 = op1.gcdext(op2)
     temp1 *= op1
     temp2 *= op2
     temp1 += temp2
     assert_true(g1 == g2 || g2 == temp1, "gcdext should work...")
   end
-  
+
   def gcdext_valid_p(a, b, g, s)
     assert_true(g >= 0, "When [g, s, t] = a.gcdext(b), g must > 0 (g=#{g}, s=#{s}, a=#{a}, b=#{b})")
-    
+
     if a.sgn == 0
       assert_true(g.cmpabs(b) == 0, "When [g, s, t] = a.gcdext(b), if a == 0, g must == |b|")
       assert_true(s == 0, "When [g, s, t] = a.gcdext(b), if a == 0, s should == 0")
       return
     end
-    
+
     if b.sgn == 0
       assert_true(g.cmpabs(a) == 0, "When [g, s, t] = a.gcdext(b), if b == 0, g must == |a|")
       assert_true(s == a.sgn, "When [g, s, t] = a.gcdext(b), if a == 0, s should == a.sgn")
       return
     end
-    
+
     assert_false(g.sgn <= 0, "When [g, s, t] = a.gcdext(b), if neither a == 0 nor b == 0, g must > 0")
-    
+
     temp1 = a.tdiv(g)
     temp3 = a.tmod(g)
     assert_true(temp3.sgn == 0, "When [g, s, t] = a.gcdext(b), g must divide a.")
     temp2 = b.tdiv(g)
     temp3 = b.tmod(g)
     assert_true(temp3.sgn == 0, "When [g, s, t] = a.gcdext(b), g must divide b.")
-    
+
     if GMP::GMP_VERSION > "4.3.1"
     assert_true(s.cmpabs(GMP::Z(1)) == 0 || (s*2).abs.cmpabs(temp2) <= 0, "GMP::Z#gcdext should work: #{s}.cmpabs(1)==0 or (#{s*2}.abs.cmpabs(#{temp2})<=0")
     end
-    
+
     temp2 = s * a
     temp2 = g - temp2
     temp3 = temp2.tmod(b)
     temp2 = temp2.tdiv(b)
     assert_true(temp3.sgn == 0, "When [g, s, t] = a.gcdext(b), g must divide a.")
-    
+
     if GMP::GMP_VERSION > "4.3.1"
     assert_true(temp2.cmpabs(GMP::Z(1)) == 0 || (temp2*2).abs.cmpabs(temp1) <= 0, "GMP::Z#gcdext should work...")
     end
@@ -67,13 +67,13 @@ class GMP_TGCD < Test::Unit::TestCase
   def test_gcdext
     reps = 200
     #check_data
-    
+
     op2 = GMP::Z(GMP::GMP_NUMB_MAX)
     op1 = op2 << 100
     op1 += op2
     op2 *= 2
     one_test(op1, op2, nil, -1)
-    
+
     (0...reps).each do |i|
       bs = @rand_state.urandomb(32)
       size_range = bs.to_i % 17 + 2
@@ -81,10 +81,10 @@ class GMP_TGCD < Test::Unit::TestCase
       op1 = @rand_state.urandomb(bs.to_i + @min_operand_bitsize)
       bs = @rand_state.urandomb(size_range)
       op2 = @rand_state.urandomb(bs.to_i + @min_operand_bitsize)
-      
+
       bs = @rand_state.urandomb(8)
       bsi = bs.to_i
-      
+
       if bsi & 0x3c == 4
         op1 *= op2
       elsif bsi & 0x3c == 8

data/test/mpfr_tcbrt.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class MPFR_TCBRT < Test::Unit::TestCase
   def setup

data/test/mpfr_tconst_euler.rb

@@ -1,12 +1,14 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class MPFR_TCONST_EULER < Test::Unit::TestCase
   def setup
     @rand_state = GMP::RandState.new
     
     if GMP::MPFR_VERSION >= "3.0.0"
+      @rnd_modes = [GMP::MPFR_RNDN, GMP::MPFR_RNDZ, GMP::MPFR_RNDU, GMP::MPFR_RNDD, GMP::MPFR_RNDA]
       @mpfr_rnd_max = 5
     else
+      @rnd_modes = [GMP::GMP_RNDN, GMP::GMP_RNDZ, GMP::GMP_RNDU, GMP::GMP_RNDD]
       @mpfr_rnd_max = 4
     end
   end
@@ -23,13 +25,14 @@ class MPFR_TCONST_EULER < Test::Unit::TestCase
       t = GMP::F(0, p)
       yprec = p+10
 
-      (0...@mpfr_rnd_max).each do |rnd|
+      #(0...@mpfr_rnd_max).each do |rnd|  # Can i emulate this?
+      (@rnd_modes).each do |rnd|
         y.prec = yprec
-        GMP::F.const_euler(y, rnd)
-        err = rnd == GMP::GMP_RNDN ? yprec+1 : yprec
-        if y.can_round?(err, rnd, rnd, p)
-        
-        end
+        #GMP::F.const_euler(y, rnd)
+        #err = rnd == GMP::GMP_RNDN ? yprec+1 : yprec
+        #if y.can_round?(err, rnd, rnd, p)
+        #
+        #end
       end
     end
   end

data/test/mpfr_tisnan.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class MPFR_ISNAN < Test::Unit::TestCase
   def setup

data/test/mpfr_trec_sqrt.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class MPFR_TREC_SQRT < Test::Unit::TestCase
   def setup

data/test/mpfr_tsqrt.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class MPFR_TSQRT < Test::Unit::TestCase
   def setup

data/test/tc_cmp.rb

@@ -1,12 +1,17 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_Cmp < Test::Unit::TestCase
   def setup
+    @_64bit = 1_000_000_000_000.is_a? Fixnum
     @a=GMP::Z.new(180)
     @c=GMP::Q.new(2000,11) # ~181.82
     @d=GMP::Q.new(3000,17) # ~176.47
     @e=700
-    @f=2**32
+    if @_64bit
+      @f=2**64
+    else
+      @f=2**32
+    end
     @g=GMP::Q(360,2)
   end
 

data/test/tc_constants.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_Constants < Test::Unit::TestCase
   def test_constants

data/test/tc_division.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_division < Test::Unit::TestCase
   def setup

data/test/tc_f_arithmetics_coersion.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_F_arithmetics_coersion < Test::Unit::TestCase
   def setup

data/test/tc_f_precision.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_precision < Test::Unit::TestCase
   def setup

data/test/tc_fib_fac_nextprime.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_fib_fac_nextprime < Test::Unit::TestCase
   def setup

data/test/tc_floor_ceil_truncate.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_floor_ceil_truncate < Test::Unit::TestCase
   def setup

data/test/tc_hashes.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_Hashes < Test::Unit::TestCase
   def setup
@@ -27,4 +27,29 @@ class TC_Hashes < Test::Unit::TestCase
     assert(h[GMP::Z(127)] == "GMP::Z")
     assert(h["127"] == "String")
   end
+  
+  def test_q_hashes
+    h = {}
+    h[GMP::Q(1,4)] = [GMP::Q(16,64), GMP::Q(166,664)]
+    assert(h[GMP::Q(1,4)] != nil, "Newly created GMP::Zs should hash equally if they are equal.")
+    assert(h[GMP::Q(233,144)].nil?,    "Newly created GMP::Zs should hash differently if they are different.")
+    10.times do
+      assert(GMP::Q(11,13).hash == GMP::Q(11,13).hash)
+    end
+    
+    100.times do |i|
+      assert(GMP::Q(1,1).hash != GMP::Q(i,101).hash)
+    end
+    
+    # GMP::Q(5,1) and "5" might (I think, 'do') hash the same, but should not be equal
+    assert(! GMP::Q(101,1).eql?("101"))
+    
+    h["22/7"] = "String"
+    h[GMP::Q(22,7)] = "GMP::Z"
+    assert(h["22/7"] != "GMP::Z")
+    #assert(h[GMP::Q(22/7)] != "String")  # caused segfaults, i swear!
+    assert(h[GMP::Q(22,7)] != "String")
+    assert(h[GMP::Q(22,7)] == "GMP::Z")
+    assert(h["22/7"] == "String")
+  end
 end

data/test/tc_logical_roots.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_logical_roots < Test::Unit::TestCase
   def setup

data/test/tc_mpfr_constants.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_MPFR_Constants < Test::Unit::TestCase
   def test_mpfr_constants

data/test/tc_mpfr_functions.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_MPFR_Functions < Test::Unit::TestCase
   def setup

data/test/tc_mpfr_random.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_MPFR_Random < Test::Unit::TestCase
   def setup

data/test/tc_mpfr_rounding.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_MPFR_Rounding < Test::Unit::TestCase
   def setup
@@ -15,14 +15,14 @@ class TC_MPFR_Rounding < Test::Unit::TestCase
     assert_equal(2, GMP::GMP_RNDU.mode, "GMP::Rnd.mode should be correct.")
     assert_equal(3, GMP::GMP_RNDD.mode, "GMP::Rnd.mode should be correct.")
   end
-  
+
   def test_rounding_name
     assert_equal(@prefix+"_RNDN", GMP::GMP_RNDN.name, "GMP::Rnd.name should be correct.")
     assert_equal(@prefix+"_RNDZ", GMP::GMP_RNDZ.name, "GMP::Rnd.name should be correct.")
     assert_equal(@prefix+"_RNDU", GMP::GMP_RNDU.name, "GMP::Rnd.name should be correct.")
     assert_equal(@prefix+"_RNDD", GMP::GMP_RNDD.name, "GMP::Rnd.name should be correct.")
   end
-  
+
   def test_rounding_ieee754
     assert_equal("roundTiesToEven", GMP::GMP_RNDN.ieee754, "GMP::Rnd.ieee754 should be correct.")
     assert_equal("roundTowardZero", GMP::GMP_RNDZ.ieee754, "GMP::Rnd.ieee754 should be correct.")

data/test/tc_q.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_Q < Test::Unit::TestCase
   def test_init_null

data/test/tc_q_basic.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 # [Q op Q, Q op Z, Z op Q, Q op FixNum, Q op BigNum, FixNum op Q, BigNum op Q]
 class TC_Q_Basic < Test::Unit::TestCase

data/test/tc_random.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_Random < Test::Unit::TestCase
   def setup

data/test/tc_sgn_neg_abs.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_sgn_neg_abs < Test::Unit::TestCase
   def setup

data/test/tc_swap.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_swap < Test::Unit::TestCase
   def setup

data/test/tc_z.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_Z < Test::Unit::TestCase
   def test_init_null
@@ -16,6 +16,39 @@ class TC_Z < Test::Unit::TestCase
 
   def test_init_string
     assert_equal(GMP::Z.new("1"), 1, "GMP::Z.new(x : String) should initialize to x")
+    assert_equal(GMP::Z.new("5000000000"), 5_000_000_000, "GMP::Z.new(x : String) bigger than 32-bit should initialize to x")
+  end
+
+  def test_init_string_base
+    assert_equal( 42, GMP::Z.new("42",  0), "GMP::Z.new(x : String, 0) should initialize to x")
+    assert_equal( 42, GMP::Z.new("42", 10), "GMP::Z.new(x : String, 10) should initialize to x")
+    assert_equal( 32, GMP::Z.new("20", 16), "GMP::Z.new(x : String, 16) should initialize to x")
+    assert_equal(255, GMP::Z.new("FF", 16), "GMP::Z.new(x : String, 16), with uppercase A-F should initialize to x")
+    assert_equal(255, GMP::Z.new("ff", 16), "GMP::Z.new(x : String, 16), with lowercase a-f should initialize to x")
+    assert_equal(255, GMP::Z.new("7v", 32), "GMP::Z.new(x : String, 32), with lowercase a-v should initialize to x")
+    assert_equal(511, GMP::Z.new("fv", 32), "GMP::Z.new(x : String, 32), with lowercase a-v should initialize to x")
+    assert_equal( 71, GMP::Z.new("1Z", 36), "GMP::Z.new(x : String, 36), with uppercase A-Z should initialize to x")
+    assert_equal(512, GMP::Z.new("e8", 36), "GMP::Z.new(x : String, 36), with lowercase a-z should initialize to x")
+    assert_equal(523, GMP::Z.new("ej", 36), "GMP::Z.new(x : String, 36), with lowercase a-z should initialize to x")
+    assert_equal( 77, GMP::Z.new("1Z", 42), "GMP::Z.new(x : String, 42), with A-Z,a-f should initialize to x")
+    assert_equal( 78, GMP::Z.new("1a", 42), "GMP::Z.new(x : String, 42), with A-Z,a-f should initialize to x")
+    assert_equal( 83, GMP::Z.new("1f", 42), "GMP::Z.new(x : String, 42), with A-Z,a-f should initialize to x")
+    assert_equal( 84, GMP::Z.new("20", 42), "GMP::Z.new(x : String, 42), with A-Z,a-f should initialize to x")
+    assert_equal(115, GMP::Z.new("1v", 58), "GMP::Z.new(x : String, 58), with A-Z,a-v should initialize to x")
+    assert_equal(116, GMP::Z.new("20", 58), "GMP::Z.new(x : String, 58), with A-Z,a-v should initialize to x")
+    assert_equal(126, GMP::Z.new("2A", 58), "GMP::Z.new(x : String, 58), with A-Z,a-v should initialize to x")
+    assert_equal(151, GMP::Z.new("2Z", 58), "GMP::Z.new(x : String, 58), with A-Z,a-v should initialize to x")
+    assert_equal(152, GMP::Z.new("2a", 58), "GMP::Z.new(x : String, 58), with A-Z,a-v should initialize to x")
+    assert_equal(161, GMP::Z.new("2j", 58), "GMP::Z.new(x : String, 58), with A-Z,a-v should initialize to x")
+    assert_equal(171, GMP::Z.new("2t", 58), "GMP::Z.new(x : String, 58), with A-Z,a-v should initialize to x")
+    assert_equal(123, GMP::Z.new("1z", 62), "GMP::Z.new(x : String, 62), with A-Z,a-z should initialize to x")
+    assert_equal(124, GMP::Z.new("20", 62), "GMP::Z.new(x : String, 62), with A-Z,a-z should initialize to x")
+    assert_equal(134, GMP::Z.new("2A", 62), "GMP::Z.new(x : String, 62), with A-Z,a-z should initialize to x")
+    assert_equal(160, GMP::Z.new("2a", 62), "GMP::Z.new(x : String, 62), with A-Z,a-z should initialize to x")
+    assert_equal(169, GMP::Z.new("2j", 62), "GMP::Z.new(x : String, 62), with A-Z,a-z should initialize to x")
+    assert_equal(179, GMP::Z.new("2t", 62), "GMP::Z.new(x : String, 62), with A-Z,a-z should initialize to x")
+    assert_equal(185, GMP::Z.new("2z", 62), "GMP::Z.new(x : String, 62), with A-Z,a-z should initialize to x")
+    assert_equal(186, GMP::Z.new("30", 62), "GMP::Z.new(x : String, 62), with A-Z,a-z should initialize to x")
   end
 
   def test_init_bignum

data/test/tc_z_addmul.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 # Tested: [Z op (Z,Z), Z op (Z,Fixnum), Z op (Z,Bignum),
 #          Z op (Fixnum,Z), Z op (Fixnum,Fixnum), Z op (Fixnum,Bignum)

data/test/tc_z_basic.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 # Tested: [Z op Z, Z op FixNum, Z op BigNum, FixNum op Z, BigNum op Z]
 # Things are tested both ways because the implementation is asymetrical

data/test/tc_z_exponentiation.rb

@@ -1,4 +1,4 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_Z_Exponentiation < Test::Unit::TestCase
   def setup

data/test/tc_z_functional_mappings.rb

@@ -1,9 +1,10 @@
-require './test_helper'
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
 class TC_Z_Functional_Mappings < Test::Unit::TestCase
   def setup
     @_64bit = 1_000_000_000_000.is_a? Fixnum
     @xp1 = 7
+    @xp2 = 2**30 -1
     @xn1 = -5
     @b1 = 2**70
     # TODO: Add edge cases along Fixnum/Bignum border!!
@@ -15,7 +16,7 @@ class TC_Z_Functional_Mappings < Test::Unit::TestCase
     functions = [:add, :addmul, :submul, :divexact, :lcm]
     rop = GMP::Z(0)
     op1s = [@z1]
-    op2s = [@xp1, @xn1, @b1, @z1]
+    op2s = [@xp1, @xp2, @xn1, @b1, @z1]
     functions.each do |f|
       op1s.each do |op1|
         op2s.each do |op2|
@@ -31,8 +32,8 @@ class TC_Z_Functional_Mappings < Test::Unit::TestCase
   def test_FUNC_MAP__ZUI_ZUI__TO__Z__RETURNS__VOID
     functions = [:sub]
     rop = GMP::Z(0)
-    op1s = [@xp1, @xn1, @b1, @z1]
-    op2s = [@xp1, @xn1, @b1, @z1]
+    op1s = [@xp1, @xp2, @xn1, @b1, @z1]
+    op2s = [@xp1, @xp2, @xn1, @b1, @z1]
     functions.each do |f|
       op1s.each do |op1|
         op2s.each do |op2|
@@ -49,7 +50,7 @@ class TC_Z_Functional_Mappings < Test::Unit::TestCase
     functions = [:mul]
     rop = GMP::Z(0)
     op1s = [@z1]
-    op2s = [@xp1, @xn1, @b1, @z1]
+    op2s = [@xp1, @xp2, @xn1, @b1, @z1]
     functions.each do |f|
       op1s.each do |op1|
         op2s.each do |op2|
@@ -68,7 +69,7 @@ class TC_Z_Functional_Mappings < Test::Unit::TestCase
     op1s = [@z1]
     functions.each do |f|
       op1s.each do |op1|
-        op2s = [@xp1]
+        op2s = [@xp1, @xp2]
         op2s.each do |op2|
           assert_nothing_raised("GMP::Z.#{f.to_s} should not raise when passed (#{rop.class}, #{op1.class}, #{op2.class})") {
             GMP::Z.send(f, rop, op1, op2)
@@ -97,4 +98,39 @@ class TC_Z_Functional_Mappings < Test::Unit::TestCase
       end
     end
   end
+  
+  # 09 mpz_t__mpz_t_or_ui__to__none__returns__int
+  def test_FUNC_MAP__Z_Z__TO__VOID__RETURNS__BOOL
+    functions = [:divisible?]
+    op1s = [@z1]
+    functions.each do |f|
+      op1s.each do |op1|
+        op2s = [@xp1, @xp2, @xn1, @b1, @z1]
+        op2s.each do |op2|
+          assert_nothing_raised("GMP::Z.#{f.to_s} should not raise when passed (#{op1.class}, #{op2.class})") {
+            GMP::Z.send(f, op1, op2)
+          }
+        end
+      end
+    end
+  end
+  
+  # 11 mpz_t__mpz_t_or_ui__mpz_t_or_ui__to__none__returns__int
+  def test_FUNC_MAP__Z_ZXB_ZXB__TO__VOID__RETURNS__BOOL
+    functions = [:congruent?]
+    op1s = [@z1]
+    functions.each do |f|
+      op1s.each do |op1|
+        op2s = [@xp1, @xp2, @xn1, @b1, @z1]
+        op2s.each do |op2|
+          op3s = [@xp1, @xp2, @xn1, @b1, @z1]
+          op3s.each do |op3|
+            assert_nothing_raised("GMP::Z.#{f.to_s} should not raise when passed (#{op1.class}, #{op2.class}, #{op3.class})") {
+              GMP::Z.send(f, op1, op2, op3)
+            }
+          end
+        end
+      end
+    end
+  end
 end