gmp 0.5.23-x86-mingw32 → 0.5.41-x86-mingw32

data/test/tc_f_precision.rb

@@ -98,7 +98,7 @@ class TC_precision < Test::Unit::TestCase
       assert_raise(RangeError) { GMP::F.default_prec = -64 }
       assert_raise(TypeError) { GMP::F.default_prec = "Cow" }
     rescue NameError => err
-      raise unless err.to_s == "uninitialized constant GMP::MPFR_VERSION"
+      raise unless err.to_s =~ /uninitialized constant:? GMP::MPFR_VERSION/
       GMP::F.default_prec = 100
       assert_equal(128, GMP::F.default_prec, "GMP::F.default_prec should be assignable.")
       GMP::F.default_prec = 130

data/test/tc_hashes.rb

@@ -1,3 +1,5 @@
+require './test_helper'
+
 class TC_Hashes < Test::Unit::TestCase
   def setup
   end

data/test/tc_logical_roots.rb

@@ -1,3 +1,5 @@
+require './test_helper'
+
 class TC_logical_roots < Test::Unit::TestCase
   def setup
     @a = GMP::Z.new(100)

data/test/tc_mpfr_constants.rb

@@ -1,3 +1,5 @@
+require './test_helper'
+
 class TC_MPFR_Constants < Test::Unit::TestCase
   def test_mpfr_constants
     assert_instance_of(String,   GMP::MPFR_VERSION,  "GMP::MPFR_VERSION should be a String")

data/test/tc_mpfr_functions.rb

@@ -1,3 +1,5 @@
+require './test_helper'
+
 class TC_MPFR_Functions < Test::Unit::TestCase
   def setup
     @a = GMP::F(1)

data/test/tc_mpfr_random.rb

@@ -1,3 +1,5 @@
+require './test_helper'
+
 class TC_MPFR_Random < Test::Unit::TestCase
   def setup
   end

data/test/tc_mpfr_rounding.rb

@@ -1,3 +1,5 @@
+require './test_helper'
+
 class TC_MPFR_Rounding < Test::Unit::TestCase
   def setup
     if GMP::MPFR_VERSION < "3.0.0"

data/test/tc_q.rb

@@ -1,3 +1,5 @@
+require './test_helper'
+
 class TC_Q < Test::Unit::TestCase
   def test_init_null
     assert_equal(GMP::Q.new(), 0, "GMP::Q.new() should initialize to 0")

data/test/tc_q_basic.rb

@@ -1,3 +1,5 @@
+require './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
   def setup

data/test/tc_random.rb

@@ -1,3 +1,5 @@
+require './test_helper'
+
 class TC_Random < Test::Unit::TestCase
   def setup
   end

data/test/tc_sgn_neg_abs.rb

@@ -1,3 +1,5 @@
+require './test_helper'
+
 class TC_sgn_neg_abs < Test::Unit::TestCase
   def setup
     @a=GMP::Z.new(10)

data/test/tc_swap.rb

@@ -1,3 +1,5 @@
+require './test_helper'
+
 class TC_swap < Test::Unit::TestCase
   def setup
     @a=GMP::Z.new(100)

data/test/tc_z.rb

@@ -57,7 +57,7 @@ class TC_Z < Test::Unit::TestCase
     b = GMP::Z(17)
     a_factors = [1,2,3,4,5,6,8,10,12,15,20,24,30,40,60,120]
     a_factors.each do |d|
-      assert_true(a.divisible?(d), "GMP::Z#divisible? ui should be false: #{a}.divisible? #{d}")
+      assert_true(a.divisible?(d), "GMP::Z#divisible? ui should be true: #{a}.divisible? #{d}")
     end
     ((1..120).to_a - a_factors).each do |d|
       assert_false(a.divisible?(d), "GMP::Z#divisible? ui should be false: #{a}.divisible? #{d}")
@@ -74,7 +74,7 @@ class TC_Z < Test::Unit::TestCase
                                 743*109_582_894_312_963_583,
                              29*743*109_582_894_312_963_583]
     a_factors.each do |d|
-      assert_true(a.divisible?(d), "GMP::Z#divisible? bignum should be false: #{a}.divisible? #{d}")
+      assert_true(a.divisible?(d), "GMP::Z#divisible? bignum should be true: #{a}.divisible? #{d}")
     end
     a_factors.map { |n| n*2 }.each do |d|
       assert_false(a.divisible?(d), "GMP::Z#divisible? ui should be false: #{a}.divisible? #{d}")

data/test/tc_z_addmul.rb

@@ -1,3 +1,5 @@
+require './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)
 #          Z op (Bignum,Z), Z op (Bignum,Bignum), Z op (Bignum,Fixnum)]

data/test/tc_z_basic.rb

@@ -1,3 +1,5 @@
+require './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
 class TC_Z_Basic < Test::Unit::TestCase

data/test/tc_z_exponentiation.rb

@@ -1,3 +1,5 @@
+require './test_helper'
+
 class TC_Z_Exponentiation < Test::Unit::TestCase
   def setup
     @a = GMP::Z.new(100)
@@ -6,7 +8,7 @@ class TC_Z_Exponentiation < Test::Unit::TestCase
   end
   
   def test_exponentiation
-    assert_equal(GMP::Z(10000000000), @a**5,                          "GMP::Z should **(Fixnum) correctly")
+    assert_equal(@a**5, GMP::Z(10000000000),                          "GMP::Z should **(Fixnum) correctly")
     assert_equal(GMP::Z("100000000000000000000000000000000"), @a**@b, "GMP::Z should **(GMP::Z) correctly")
     assert_equal(GMP::Z(65536), 2**@b,                                "Fixnum should **(GMP::Z) correctly")
   end

data/test/tc_z_functional_mappings.rb

@@ -0,0 +1,100 @@
+require './test_helper'
+
+class TC_Z_Functional_Mappings < Test::Unit::TestCase
+  def setup
+    @_64bit = 1_000_000_000_000.is_a? Fixnum
+    @xp1 = 7
+    @xn1 = -5
+    @b1 = 2**70
+    # TODO: Add edge cases along Fixnum/Bignum border!!
+    @z1 = GMP::Z(12)
+  end
+
+  # 01 mpz_t__mpz_t_or_ui__to__mpz_t__returns__void
+  def test_FUNC_MAP__Z_ZUI__TO__Z__RETURNS__VOID
+    functions = [:add, :addmul, :submul, :divexact, :lcm]
+    rop = GMP::Z(0)
+    op1s = [@z1]
+    op2s = [@xp1, @xn1, @b1, @z1]
+    functions.each do |f|
+      op1s.each do |op1|
+        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)
+          }
+        end
+      end
+    end
+  end
+  
+  # 02 mpz_t_or_ui__mpz_t_or_ui__to__mpz_t__returns__void
+  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]
+    functions.each do |f|
+      op1s.each do |op1|
+        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)
+          }
+        end
+      end
+    end
+  end
+  
+  # 03 mpz_t__mpz_t_or_si_or_ui__to__mpz_t__returns__void
+  def test_FUNC_MAP__Z_ZSIUI__TO__Z__RETURNS__VOID
+    functions = [:mul]
+    rop = GMP::Z(0)
+    op1s = [@z1]
+    op2s = [@xp1, @xn1, @b1, @z1]
+    functions.each do |f|
+      op1s.each do |op1|
+        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)
+          }
+        end
+      end
+    end
+  end
+  
+  # 04 mpz_t__mp_bitcnt_t__to__mpz_t__returns__void
+  def test_FUNC_MAP__Z_BITCNT__TO__Z__RETURNS__VOID
+    functions = [:mul_2exp, :cdiv_q_2exp, :cdiv_r_2exp, :fdiv_q_2exp, :fdiv_r_2exp, :tdiv_q_2exp, :tdiv_r_2exp]
+    rop = GMP::Z(0)
+    op1s = [@z1]
+    functions.each do |f|
+      op1s.each do |op1|
+        op2s = [@xp1]
+        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)
+          }
+        end
+        op2s = [@xn1]
+        op2s.each do |op2|
+          assert_raise(RangeError, "GMP::Z.#{f.to_s} should raise a RangeError when passed (#{rop.class}, #{op1.class}, #{op2.class})") {
+            GMP::Z.send(f, rop, op1, op2)
+          }
+        end
+      end
+    end
+  end
+  
+  # 05 mpz_t__to__mpz_t__returns__void
+  def test_FUNC_MAP__Z__TO__Z__RETURNS__VOID
+    functions = [:neg, :abs, :sqrt, :nextprime, :com]
+    rop = GMP::Z(0)
+    op1s = [@z1]
+    functions.each do |f|
+      op1s.each do |op1|
+        assert_nothing_raised("GMP::Z.#{f.to_s} should not raise when passed (#{rop.class}, #{op1.class})") {
+          GMP::Z.send(f, rop, op1)
+        }
+      end
+    end
+  end
+end

data/test/tc_z_gcd_lcm_invert.rb

@@ -1,3 +1,5 @@
+require './test_helper'
+
 class TC_Z_GCD_LCM_Invert < Test::Unit::TestCase
   def setup
     @a = GMP::Z( 24)  # 2^3 * 3

data/test/tc_z_jac_leg_rem.rb

@@ -1,3 +1,5 @@
+require './test_helper'
+
 class TC_Z_Jacobi_Legendre_Remove < Test::Unit::TestCase
   def setup
     @one         = GMP::Z(1)

data/test/tc_zerodivisionexceptions.rb

@@ -1,3 +1,5 @@
+require './test_helper'
+
 class TC_ZeroDivisionExceptions < Test::Unit::TestCase
   def setup
     @a = GMP::Z.new(10)
@@ -14,4 +16,4 @@ class TC_ZeroDivisionExceptions < Test::Unit::TestCase
     assert_raise(ZeroDivisionError) { @c/0 }
     assert_raise(ZeroDivisionError) { @c/@d }
   end
-end
+end

data/test/unit_tests.rb

@@ -3,6 +3,9 @@
 require './test_helper'
 
 require './tc_constants'
+require './tc_division'
+require './tc_f_precision'
+require './tc_f_arithmetics_coersion'
 require './tc_z'
 require './tc_z_basic'
 require './tc_z_addmul'
@@ -14,19 +17,17 @@ require './tc_z_shifts_last_bits'
 require './tc_z_jac_leg_rem'
 require './tc_z_gcd_lcm_invert'
 require './tc_q'
-require './tc_cmp'
 require './tc_q_basic'
+require './tc_cmp'
 require './tc_zerodivisionexceptions'
 require './tc_sgn_neg_abs'
 require './tc_fib_fac_nextprime'
 require './tc_swap'
 require './tc_floor_ceil_truncate'
 require './tc_logical_roots'
-require './tc_f_precision'
-require './tc_f_arithmetics_coersion'
-require './tc_division'
 require './tc_random'
 require './tc_hashes'
+require './tc_z_functional_mappings'
 
 require './gmp_tgcd'
 

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification 
 name: gmp
 version: !ruby/object:Gem::Version 
-  hash: 37
+  hash: 89
   prerelease: false
   segments: 
   - 0
   - 5
-  - 23
-  version: 0.5.23
+  - 41
+  version: 0.5.41
 platform: x86-mingw32
 authors: 
 - Tomasz Wegrzanowski
@@ -16,7 +16,7 @@ autorequire:
 bindir: bin
 cert_chain: []
 
-date: 2010-10-04 00:00:00 -07:00
+date: 2010-11-17 00:00:00 -07:00
 default_executable: 
 dependencies: []
 
@@ -79,6 +79,7 @@ files:
 - test/tc_z_addmul.rb
 - test/tc_z_basic.rb
 - test/tc_z_exponentiation.rb
+- test/tc_z_functional_mappings.rb
 - test/tc_z_gcd_lcm_invert.rb
 - test/tc_z_jac_leg_rem.rb
 - test/tc_z_logic.rb
@@ -99,6 +100,7 @@ files:
 - benchmark/gexpr.c
 - benchmark/gexpr.exe
 - benchmark/multiply
+- benchmark/multiply.fnl
 - benchmark/multiply.gc
 - benchmark/pi
 - benchmark/README