gmp 0.4.7-x86-mingw32 → 0.5.3-x86-mingw32

data/test/README

@@ -31,4 +31,5 @@ TODO:
   more number theoretic functions
   random numbers
   range errors
+  mpz_size
   full coverage?

data/test/mpfr_tcbrt.rb

@@ -0,0 +1,95 @@
+require './test_helper'
+
+class MPFR_TCBRT < Test::Unit::TestCase
+  def setup
+    @one = GMP::F(1)
+    @zero = GMP::F(0)
+    @inf = @one/@zero
+    @nan = @inf - @inf
+    @neg_one = GMP::F(-1)
+    @neg_inf = @neg_one/@zero
+    @neg_zero = GMP::F("-0")
+    @rand_state = GMP::RandState.new
+  end
+
+  # This really should be moved to be a method of GMP::F
+  def integer_component(f)
+    index_e = f.to_s.index('e')
+    exp = f.to_s[(index_e+1)..-1].to_i
+    return 0 if exp < 0
+    f.to_s[2..(index_e-1)][0,exp]
+  end
+  
+  def special
+    x = @nan.cbrt(GMP::GMP_RNDN)
+    assert_true(x.nan?, "@nan.cbrt should be NaN")
+    x = @inf.cbrt(GMP::GMP_RNDN)
+    assert_true(x.infinite?, "@inf.cbrt should be +inf")
+    assert_true(x > 0, "@inf.cbrt should be +inf")
+    x = @neg_inf.cbrt(GMP::GMP_RNDN)
+    assert_true(x.infinite?, "@neg_inf.cbrt should be -inf")
+    assert_true(x < 0, "@neg_inf.cbrt should be -inf")
+    x = @zero.cbrt(GMP::GMP_RNDN)
+    assert_true(x.zero?, "@zero.cbrt should be +0")
+    assert_equal(GMP::F(0), x, "@zero.cbrt should be +0")
+    x = @neg_zero.cbrt(GMP::GMP_RNDN)
+    assert_true(x.zero?, "@neg_zero.cbrt should be -0")
+    assert_equal(GMP::F("-0"), x, "@neg_zero.cbrt should be -0")
+
+    x = GMP::F("8.39005285514734966412e-01", 53)
+    x = x.cbrt(GMP::GMP_RNDN)
+    y = GMP::F("9.43166207799662426048e-01")
+    assert_equal(y, x, "cbrt should be correct")
+
+    x = GMP::F("0.10000100001100101001001001011001", 32, 2)
+    x = x.cbrt(GMP::GMP_RNDN)
+    y = GMP::F("0.11001101011000100111000111111001", 32, 2)
+    assert_equal(y, x, "cbrt should be correct")
+
+    x = GMP::F("-0.1100001110110000010101011001011", 32, 2)
+    x = x.cbrt(GMP::GMP_RNDD)
+    y = GMP::F("-0.11101010000100100101000101011001", 32, 2)
+    assert_equal(y, x, "cbrt should be correct")
+
+    x = GMP::F("0.1010001111011101011011000111001011001101100011110110010011011011011010011001100101e-7", 82, 2)
+    y = x.cbrt(GMP::GMP_RNDD, 27)
+    x = GMP::F("0.101011110001110001000100011E-2", 82, 2)
+    assert_equal(x, y, "cbrt should be correct")
+
+    x = GMP::F("0.1010000000011010000000011001111110111110011101101000011110" +
+                 "0010011010011100110110011111000111000101101101011001001110" +
+                 "0101111001111100001010010100111011101100000011011000101100" +
+                 "010000000011000101001010001001E-5", 204, 2)
+    y = x.cbrt(GMP::GMP_RNDD, 38)
+    x = GMP::F("0.10001001111010011011101000010110110010E-1", 204, 2)
+    assert_equal(x, y, "cbrt should be correct")
+
+    x = GMP::F("1.1000E-2", 5, 2)
+    x = x.cbrt(GMP::GMP_RNDN)
+    y = GMP::F("1.0111E-1", 5, 2)
+    assert_equal(y, x, "cbrt should be correct")
+  end
+  
+  def test_cbrt
+    special
+
+    (2..100).each do |p|
+      [GMP::GMP_RNDN, GMP::GMP_RNDZ, GMP::GMP_RNDD, GMP::GMP_RNDU].each do |rnd|
+        x = GMP::F(1).cbrt(rnd)
+        assert_equal(GMP::F(1), x, "1.cbrt should be 1 (prec #{p}) in rounding mode #{rnd}")
+        x = GMP::F(-1).cbrt(rnd)
+        assert_equal(GMP::F(-1), x, "-1.cbrt should be -1 (prec #{p}) in rounding mode #{rnd}")
+
+        next unless p>=5
+
+        (-12..12).each do |i|
+          x = GMP::F(27)
+          x *= GMP::F(2)**(3*i)
+          x = x.cbrt
+          assert_equal(GMP::F(3)*GMP::F(2)**i, x,
+                       "27*2^#{3*i} should be 3*2^#{i} (prec #{p}, rounding mode #{rnd}")
+        end
+      end
+    end
+  end
+end

data/test/mpfr_tisnan.rb

@@ -0,0 +1,70 @@
+require './test_helper'
+
+class MPFR_ISNAN < Test::Unit::TestCase
+  def setup
+    @rand_state = GMP::RandState.new
+    @one = GMP::F(1)
+    @zero = GMP::F(0)
+    @inf = @one/@zero
+    @neg_one = GMP::F(-1)
+    @neg_inf = @neg_one/@zero
+    @nan = @neg_inf - @neg_inf
+    @neg_zero = GMP::F("-0")
+  end
+
+  def test_nan
+    assert_false(@inf.nan?, "@inf.nan? should be false")
+    assert_false(@neg_inf.nan?, "@neg_inf.nan? should be false")
+    assert_true(@nan.nan?, "@nan.nan? should be true")
+    assert_false(@one.nan?, "@one.nan? should be false")
+    assert_false(@zero.nan?, "@zero.nan? should be false")
+    assert_false(@neg_zero.nan?, "@neg_zero.nan? should be false")
+  end
+
+  def test_infinite
+    assert_true(@inf.infinite?, "@inf.infinite? should be true")
+    assert_true(@neg_inf.infinite?, "@neg_inf.infinite? should be true")
+    assert_false(@nan.infinite?, "@nan.infinite? should be false")
+    assert_false(@one.infinite?, "@one.infinite? should be false")
+    assert_false(@zero.infinite?, "@zero.infinite? should be false")
+    assert_false(@neg_zero.infinite?, "@neg_zero.infinite? should be false")
+  end
+
+  def test_finite
+    assert_false(@inf.finite?, "@inf.finite? should be false")
+    assert_false(@neg_inf.finite?, "@neg_inf.finite? should be false")
+    #assert_true(@nan.finite?, "@nan.finite? should be true")  // eh...
+    assert_true(@one.finite?, "@one.finite? should be true")
+    assert_true(@zero.finite?, "@zero.finite? should be true")
+    assert_true(@neg_zero.finite?, "@neg_zero.finite? should be true")
+  end
+
+  def test_number
+    assert_false(@inf.number?, "@inf.number? should be false")
+    assert_false(@neg_inf.number?, "@neg_inf.number? should be false")
+    assert_false(@nan.number?, "@nan.number? should be false")
+    assert_true(@one.number?, "@one.number? should be true")
+    assert_true(@zero.number?, "@zero.number? should be true")
+    assert_true(@neg_zero.number?, "@neg_zero.number? should be true")
+  end
+
+  def test_zero
+    assert_false(@inf.zero?, "@inf.zero? should be false")
+    assert_false(@neg_inf.zero?, "@neg_inf.zero? should be false")
+    assert_false(@nan.zero?, "@nan.zero? should be false")
+    assert_false(@one.zero?, "@one.zero? should be false")
+    assert_true(@zero.zero?, "@zero.zero? should be true")
+    assert_true(@neg_zero.zero?, "@neg_zero.zero? should be true")
+  end
+
+  def test_regular
+    if GMP::MPFR_VERSION >= "3.0.0"
+      assert_false(@inf.regular?, "@inf.regular? should be false")
+      assert_false(@neg_inf.regular?, "@neg_inf.regular? should be false")
+      assert_false(@nan.regular?, "@nan.regular? should be false")
+      assert_true(@one.regular?, "@one.regular? should be true")
+      assert_false(@zero.regular?, "@zero.regular? should be false")
+      assert_false(@neg_zero.regular?, "@neg_zero.regular? should be false")
+    end
+  end
+end

data/test/mpfr_trec_sqrt.rb

@@ -0,0 +1,62 @@
+require './test_helper'
+
+class MPFR_TREC_SQRT < Test::Unit::TestCase
+  def setup
+    @rand_state = GMP::RandState.new
+    @one = GMP::F(1)
+    @zero = GMP::F(0)
+    @inf = @one/@zero
+    @nan = @inf - @inf
+    @neg_zero = GMP::F("-0")
+    @neg_one = GMP::F(-1)
+    @neg_inf = @neg_one/@zero
+  end
+
+  # This really should be moved to be a method of GMP::F
+  def integer_component(f)
+    index_e = f.to_s.index('e')
+    exp = f.to_s[(index_e+1)..-1].to_i
+    return 0 if exp < 0
+    f.to_s[2..(index_e-1)][0,exp]
+  end
+  
+  def special
+    x = @nan.rec_sqrt(GMP::GMP_RNDN)
+    assert_true(x.nan?, "@nan.rec_sqrt should be NaN")
+    x = @inf.rec_sqrt(GMP::GMP_RNDN)
+    assert_true(x.zero?, "@inf.rec_sqrt should be +0")
+    assert_true(x.hash != @neg_zero.hash, "@inf.rec_sqrt should be +0")
+    x = @neg_inf.rec_sqrt(GMP::GMP_RNDN)
+    assert_true(x.nan?, "@neg_inf.rec_sqrt should be NaN")
+    x = @zero.rec_sqrt(GMP::GMP_RNDN)
+    assert_true(x.infinite?, "@zero.rec_sqrt should be inf")
+    x = @neg_zero.rec_sqrt(GMP::GMP_RNDN)
+    assert_true(x.infinite?, "@neg_zero.rec_sqrt should be inf")
+    x = @neg_one.rec_sqrt(GMP::GMP_RNDN)
+    assert_true(x.nan?, "@neg_one.rec_sqrt should be NaN")
+    x = @one.rec_sqrt(GMP::GMP_RNDN)
+    assert_equal(@one, x, "@one.rec_sqrt should be 1")
+    
+    # Can't do 0b1e-1 yet
+    #x = GMP::F("0b1.0001110110101001010100e-1", 23)
+    #y = x.rec_sqrt(GMP::GMP_RNDU, 33)
+    #x = GMP::F("0b1.01010110101110100100100101011", 33)
+    #assert_equal(x, y, "something about precision...")
+  end
+
+  def bad_case1
+    x = GMP::F("1.08310518720928b30e@-120", 72, 16, GMP::GMP_RNDN)
+    z = GMP::F("f.8@59", 6, 16, GMP::GMP_RNDN)
+    # z = rec_sqrt(x) rounded on 6 bits toward 0, the exact value being
+    #  ~= f.bffffffffffffffffa11@59
+    y = x.rec_sqrt(GMP::GMP_RNDZ, 6)
+    assert_equal(y, z, "These should be equal...")
+  end
+  
+  def test_prec
+    special
+    bad_case1
+    #generic
+    #bad_cases
+  end
+end

data/test/mpfr_tsqrt.rb

@@ -1,4 +1,4 @@
-require 'test_helper'
+require './test_helper'
 
 class MPFR_TSQRT < Test::Unit::TestCase
   def setup
@@ -13,12 +13,64 @@ class MPFR_TSQRT < Test::Unit::TestCase
     f.to_s[2..(index_e-1)][0,exp]
   end
   
+  def check24(as, rnd_mode, qs)
+    q = GMP::F(as, 24)
+    q = q.sqrt(rnd_mode)
+    assert_equal(q, GMP::F(qs), "Sqrt of #{as} (prec 24) should be #{qs}.")
+  end
+  
   def check_diverse(as, p, qs)
     q = GMP::F(as, p)
     q = q.sqrt
     assert_equal(integer_component(q), qs)
   end
   
+  def check_float
+    check24("70368760954880.0", GMP::GMP_RNDN, "8.388609e6")
+    check24("281474943156224.0", GMP::GMP_RNDN, "1.6777215e7")
+    check24("70368777732096.0", GMP::GMP_RNDN, "8.388610e6")
+    check24("281474909601792.0", GMP::GMP_RNDN, "1.6777214e7")
+    check24("100216216748032.0", GMP::GMP_RNDN, "1.0010805e7")
+    check24("120137273311232.0", GMP::GMP_RNDN, "1.0960715e7")
+    check24("229674600890368.0", GMP::GMP_RNDN, "1.5155019e7")
+    check24("70368794509312.0", GMP::GMP_RNDN, "8.388611e6")
+    check24("281474876047360.0", GMP::GMP_RNDN, "1.6777213e7")
+    check24("91214552498176.0", GMP::GMP_RNDN, "9.550631e6")
+    
+    check24("70368760954880.0", GMP::GMP_RNDZ, "8.388608e6")
+    check24("281474943156224.0", GMP::GMP_RNDZ, "1.6777214e7")
+    check24("70368777732096.0", GMP::GMP_RNDZ, "8.388609e6")
+    check24("281474909601792.0", GMP::GMP_RNDZ, "1.6777213e7")
+    check24("100216216748032.0", GMP::GMP_RNDZ, "1.0010805e7")
+    check24("120137273311232.0", GMP::GMP_RNDZ, "1.0960715e7")
+    check24("229674600890368.0", GMP::GMP_RNDZ, "1.5155019e7")
+    check24("70368794509312.0", GMP::GMP_RNDZ, "8.38861e6")
+    check24("281474876047360.0", GMP::GMP_RNDZ, "1.6777212e7")
+    check24("91214552498176.0", GMP::GMP_RNDZ, "9.550631e6")
+
+    check24("70368760954880.0", GMP::GMP_RNDU, "8.388609e6")
+    check24("281474943156224.0", GMP::GMP_RNDU, "1.6777215e7")
+    check24("70368777732096.0", GMP::GMP_RNDU, "8.388610e6")
+    check24("281474909601792.0", GMP::GMP_RNDU, "1.6777214e7")
+    check24("100216216748032.0", GMP::GMP_RNDU, "1.0010806e7")
+    check24("120137273311232.0", GMP::GMP_RNDU, "1.0960716e7")
+    check24("229674600890368.0", GMP::GMP_RNDU, "1.515502e7")
+    check24("70368794509312.0", GMP::GMP_RNDU, "8.388611e6")
+    check24("281474876047360.0", GMP::GMP_RNDU, "1.6777213e7")
+    check24("91214552498176.0", GMP::GMP_RNDU, "9.550632e6")
+
+    check24("70368760954880.0", GMP::GMP_RNDD, "8.388608e6")
+    check24("281474943156224.0", GMP::GMP_RNDD, "1.6777214e7")
+    check24("70368777732096.0", GMP::GMP_RNDD, "8.388609e6")
+    check24("281474909601792.0", GMP::GMP_RNDD, "1.6777213e7")
+    check24("100216216748032.0", GMP::GMP_RNDD, "1.0010805e7")
+    check24("120137273311232.0", GMP::GMP_RNDD, "1.0960715e7")
+    check24("229674600890368.0", GMP::GMP_RNDD, "1.5155019e7")
+    check24("70368794509312.0", GMP::GMP_RNDD, "8.38861e6")
+    check24("281474876047360.0", GMP::GMP_RNDD, "1.6777212e7")
+    check24("91214552498176.0", GMP::GMP_RNDD, "9.550631e6")
+  end
+  
   def special
     x = GMP::F(0b1010000010100011011001010101010010001100001101011101110001011001 / 2, 64)  # Ruby 0b does not support e,
     y = x.sqrt(GMP::GMP_RNDN, 32)                                                           # ie 0b11e-2 = 0.75 doesnt work
@@ -47,12 +99,17 @@ class MPFR_TSQRT < Test::Unit::TestCase
     z = GMP::F(-1)
     z = x.sqrt(GMP::GMP_RNDN)
     
-    # z = GMP::F(0.1011010100000100100100100110011001011100100100000011000111011001011101101101110000110100001000100001100001011000E1, 160)
-    # x = z.sqrt
+    #z = GMP::F(0.1011010100000100100100100110011001011100100100000011000111011001011101101101110000110100001000100001100001011000E1, 160)
+    #x = z.sqrt
     # z = x.sqrt
     # x.prec = 53
   end
   
+  def check_inexact(prec)
+    x = @rand_state.mpfr_urandomb(p)
+    
+  end
+  
   def property1(p, rounding)
     x = @rand_state.mpfr_urandomb(p)
     y = @rand_state.mpfr_urandomb(p)
@@ -63,8 +120,20 @@ class MPFR_TSQRT < Test::Unit::TestCase
   
   def property2(p, rounding)
     x = @rand_state.mpfr_urandomb(p)
-    y = (x ** 2).sqrt(rounding)
-    assert_true(x == y, "sqrt(x^2) = x should hold.")
+    y = (x * x).sqrt(rounding)
+    assert_true(x == y, "sqrt(#{x.to_s}^2) should be #{x.to_s}, but is #{y.to_s} (rounding: #{GMP::F.default_rounding_mode.inspect}, prec: #{p.to_s}).")
+  end
+  
+  def check3(as, rounding, qs)
+    q = GMP::F(as, 53)
+    q = q.sqrt(rounding)
+    assert_equal(GMP::F(qs), q, "Sqrt of -0.0 should be something like 0.0.")
+  end
+  
+  def check4(as, rounding, qs)
+    q = GMP::F(as, 53)
+    q = q.sqrt(rounding)
+    assert_equal(q, GMP::F(qs, GMP::F.default_prec, 16), "Sqrt of #{as} should be #{qs}.")
   end
   
   def test_prec
@@ -78,5 +147,72 @@ class MPFR_TSQRT < Test::Unit::TestCase
                   160,
                   "796887792767063979679855997149887366668464780637")
     special
+    #check_nan
+    
+    (2...200).each do |p|
+      200.times do
+        #check_inexact p
+      end
+    end
+    check_float
+    
+    check3("-0.0", GMP::GMP_RNDN, "0.0")
+    
+    check4("6.37983013646045901440e+32", GMP::GMP_RNDN, "5.9bc5036d09e0c@13")
+    check4("1.0", GMP::GMP_RNDN, "1")
+    check4("1.0", GMP::GMP_RNDZ, "1")
+    check4("3.725290298461914062500000e-9", GMP::GMP_RNDN, "4@-4")
+    check4("3.725290298461914062500000e-9", GMP::GMP_RNDZ, "4@-4")
+    
+    check4("1190456976439861.0", GMP::GMP_RNDZ, "2.0e7957873529a@6")
+    check4("1219027943874417664.0", GMP::GMP_RNDZ, "4.1cf2af0e6a534@7")
+    # the following examples are bugs in Cygnus compiler/system, found by
+    # Fabrice Rouillier while porting mpfr to Windows
+    check4("9.89438396044940256501e-134", GMP::GMP_RNDU, "8.7af7bf0ebbee@-56")
+    check4("7.86528588050363751914e+31", GMP::GMP_RNDZ, "1.f81fc40f32062@13")
+    check4("0.99999999999999988897", GMP::GMP_RNDN, "f.ffffffffffff8@-1")
+    check4("1.00000000000000022204", GMP::GMP_RNDN, "1")
+    # the following examples come from the paper "Number-theoretic Test
+    # Generation for Directed Rounding" from Michael Parks, Table 4
+    check4("78652858805036375191418371571712.0", GMP::GMP_RNDN, "1.f81fc40f32063@13")
+    check4("38510074998589467860312736661504.0", GMP::GMP_RNDN, "1.60c012a92fc65@13")
+    check4("35318779685413012908190921129984.0", GMP::GMP_RNDN, "1.51d17526c7161@13")
+    check4("26729022595358440976973142425600.0", GMP::GMP_RNDN, "1.25e19302f7e51@13")
+    check4("22696567866564242819241453027328.0", GMP::GMP_RNDN, "1.0ecea7dd2ec3d@13")
+    check4("22696888073761729132924856434688.0", GMP::GMP_RNDN, "1.0ecf250e8e921@13")
+    check4("36055652513981905145251657416704.0", GMP::GMP_RNDN, "1.5552f3eedcf33@13")
+    check4("30189856268896404997497182748672.0", GMP::GMP_RNDN, "1.3853ee10c9c99@13")
+    check4("36075288240584711210898775080960.0", GMP::GMP_RNDN, "1.556abe212b56f@13")
+    check4("72154663483843080704304789585920.0", GMP::GMP_RNDN, "1.e2d9a51977e6e@13")
+    check4("78652858805036375191418371571712.0", GMP::GMP_RNDZ, "1.f81fc40f32062@13")
+    check4("38510074998589467860312736661504.0", GMP::GMP_RNDZ, "1.60c012a92fc64@13")
+    check4("35318779685413012908190921129984.0", GMP::GMP_RNDZ, "1.51d17526c716@13")
+    check4("26729022595358440976973142425600.0", GMP::GMP_RNDZ, "1.25e19302f7e5@13")
+    check4("22696567866564242819241453027328.0", GMP::GMP_RNDZ, "1.0ecea7dd2ec3c@13")
+    check4("22696888073761729132924856434688.0", GMP::GMP_RNDZ, "1.0ecf250e8e92@13")
+    check4("36055652513981905145251657416704.0", GMP::GMP_RNDZ, "1.5552f3eedcf32@13")
+    check4("30189856268896404997497182748672.0", GMP::GMP_RNDZ, "1.3853ee10c9c98@13")
+    check4("36075288240584711210898775080960.0", GMP::GMP_RNDZ, "1.556abe212b56e@13")
+    check4("72154663483843080704304789585920.0", GMP::GMP_RNDZ, "1.e2d9a51977e6d@13")
+    check4("78652858805036375191418371571712.0", GMP::GMP_RNDU, "1.f81fc40f32063@13")
+    check4("38510074998589467860312736661504.0", GMP::GMP_RNDU, "1.60c012a92fc65@13")
+    check4("35318779685413012908190921129984.0", GMP::GMP_RNDU, "1.51d17526c7161@13")
+    check4("26729022595358440976973142425600.0", GMP::GMP_RNDU, "1.25e19302f7e51@13")
+    check4("22696567866564242819241453027328.0", GMP::GMP_RNDU, "1.0ecea7dd2ec3d@13")
+    check4("22696888073761729132924856434688.0", GMP::GMP_RNDU, "1.0ecf250e8e921@13")
+    check4("36055652513981905145251657416704.0", GMP::GMP_RNDU, "1.5552f3eedcf33@13")
+    check4("30189856268896404997497182748672.0", GMP::GMP_RNDU, "1.3853ee10c9c99@13")
+    check4("36075288240584711210898775080960.0", GMP::GMP_RNDU, "1.556abe212b56f@13")
+    check4("72154663483843080704304789585920.0", GMP::GMP_RNDU, "1.e2d9a51977e6e@13")
+    check4("78652858805036375191418371571712.0", GMP::GMP_RNDD, "1.f81fc40f32062@13")
+    check4("38510074998589467860312736661504.0", GMP::GMP_RNDD, "1.60c012a92fc64@13")
+    check4("35318779685413012908190921129984.0", GMP::GMP_RNDD, "1.51d17526c716@13")
+    check4("26729022595358440976973142425600.0", GMP::GMP_RNDD, "1.25e19302f7e5@13")
+    check4("22696567866564242819241453027328.0", GMP::GMP_RNDD, "1.0ecea7dd2ec3c@13")
+    check4("22696888073761729132924856434688.0", GMP::GMP_RNDD, "1.0ecf250e8e92@13")
+    check4("36055652513981905145251657416704.0", GMP::GMP_RNDD, "1.5552f3eedcf32@13")
+    check4("30189856268896404997497182748672.0", GMP::GMP_RNDD, "1.3853ee10c9c98@13")
+    check4("36075288240584711210898775080960.0", GMP::GMP_RNDD, "1.556abe212b56e@13")
+    check4("72154663483843080704304789585920.0", GMP::GMP_RNDD, "1.e2d9a51977e6d@13")
   end
-end
+end

data/test/tc_cmp.rb

@@ -1,4 +1,4 @@
-require 'test_helper'
+require './test_helper'
 
 class TC_Cmp < Test::Unit::TestCase
   def setup
@@ -61,7 +61,7 @@ class TC_Cmp < Test::Unit::TestCase
   def test_cmp_z_int
     assert_equal(@a <=> @e, -1, "GMP::Z should <=> correctly with Fixnum")
     assert_equal(@e <=> @a,  1, "Fixnum should <=> correctly with GMP::Z")
-    assert_equal(@a <=> @f, -1, "GMP::Z should <=> correctly with Bignum")
+    assert_equal(-1, @a <=> @f, "GMP::Z should <=> correctly with Bignum")
     assert_equal(@f <=> @a,  1, "Bignum should <=> correctly with GMP::Z")
   end
 
@@ -69,6 +69,6 @@ class TC_Cmp < Test::Unit::TestCase
     assert_equal(@c <=> @e, -1, "GMP::Q should <=> correctly with Fixnum")
     assert_equal(@e <=> @c,  1, "Fixnum should <=> correctly with GMP::Q")
     assert_equal(@c <=> @f, -1, "GMP::Q should <=> correctly with Bignum")
-    assert_equal(@f <=> @c,  1, "Bignum should <=> correctly with GMP::Q")
+    assert_equal(1, @f <=> @c, "Bignum should <=> correctly with GMP::Q")
   end
-end
+end

data/test/tc_constants.rb

@@ -0,0 +1,10 @@
+require './test_helper'
+
+class TC_Constants < Test::Unit::TestCase
+  def test_constants
+    assert_instance_of(String, GMP::GMP_VERSION,       "GMP::GMP_VERSION should be a String")
+    assert_instance_of(String, GMP::GMP_CC,            "GMP::GMP_CC should be a String")
+    assert_instance_of(String, GMP::GMP_CFLAGS,        "GMP::GMP_CFLAGS should be a String")
+    assert_instance_of(Fixnum, GMP::GMP_BITS_PER_LIMB, "GMP::GMP_BITS_PER_LIMB should be a Fixnum")
+  end
+end