gmp 0.6.47 → 0.7.19

data/test/tc_mpfr_integer.rb

@@ -1,6 +1,6 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_MPFR_Integer < Test::Unit::TestCase
+class TcMpfrInteger < Test::Unit::TestCase
   def test_mpfr_integer_positive
     assert(GMP::F(1.0).integer?,         "MPFR should decide whether a number is an integer correctly.")
     assert(GMP::F(2.0).integer?,         "MPFR should decide whether a number is an integer correctly.")

data/test/tc_mpfr_new_rounding.rb

@@ -1,6 +1,6 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_MPFR_New_Rounding < Test::Unit::TestCase
+class TcMpfrNewRounding < Test::Unit::TestCase
   def test_new_fixnum
     ninety_six = GMP::F(96, 4)
     one_hundred_four = GMP::F(104, 4)
@@ -103,6 +103,29 @@ class TC_MPFR_New_Rounding < Test::Unit::TestCase
     assert_equal(a, oh107, "GMP::F.new should round with RNDU")
   end
 
+  def test_new_string
+    ohoh977 = GMP::F(0.977e-2, 4)
+    oh107 = GMP::F(0.107e-1, 4)
+
+    a = GMP::F("0.01", 4)
+    assert_equal(a, ohoh977, "GMP::F.new should default round with RNDN")
+
+    a = GMP::F("0.01", 4, 10)
+    assert_equal(a, ohoh977, "GMP::F.new should default round with RNDN")
+
+    a = GMP::F("0.01", 4, 10, GMP::GMP_RNDN)
+    assert_equal(a, ohoh977, "GMP::F.new should round with RNDN")
+
+    a = GMP::F("0.01", 4, 10, GMP::GMP_RNDD)
+    assert_equal(a, ohoh977, "GMP::F.new should round with RNDD")
+
+    a = GMP::F("0.01", 4, 10, GMP::GMP_RNDZ)
+    assert_equal(a, ohoh977, "GMP::F.new should round with RNDZ")
+
+    a = GMP::F("0.01", 4, 10, GMP::GMP_RNDU)
+    assert_equal(a, oh107, "GMP::F.new should round with RNDU")
+  end
+
   def test_new_mpfr
     ohoh977 = GMP::F(-0.977e-2, 4)
     oh107 = GMP::F(-0.107e-1, 4)

data/test/tc_mpfr_pow.rb

@@ -0,0 +1,17 @@
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
+
+class TcMpfrPow < Test::Unit::TestCase
+  def setup
+    @a = GMP::F(0.25)
+  end
+
+  def test_mpfr_pow
+    assert_equal(@a ** 2,            0.0625, "GMP::F#pow(x : Fixnum) calculates correctly.")
+    assert_equal(@a ** -2,          16,      "GMP::F#pow(x : Fixnum) calculates correctly.")
+    assert_equal(@a ** 0,            1,      "GMP::F#pow(x : Fixnum) calculates correctly.")
+    assert_equal(@a ** 0.5,          0.5,    "GMP::F#pow(x : Float) calculates correctly.")
+    assert_equal(@a ** 0.0,          1,      "GMP::F#pow(x : Float) calculates correctly.")
+    assert_equal(@a ** GMP::Z(2),    0.0625, "GMP::F#pow(x : GMP::Z) calculates correctly.")
+    assert_equal(@a ** GMP::Q(1, 2), 0.5,    "GMP::F#pow(x : GMP::Q) calculates correctly.")
+  end
+end

data/test/tc_mpfr_random.rb

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

data/test/tc_mpfr_rounding.rb

@@ -1,6 +1,6 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_MPFR_Rounding < Test::Unit::TestCase
+class TcMpfrRounding < Test::Unit::TestCase
   def setup
     if GMP::MPFR_VERSION < "3.0.0"
       @prefix = "GMP"

data/test/tc_q.rb

@@ -1,18 +1,25 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_Q < Test::Unit::TestCase
+class TcRational < Test::Unit::TestCase
+  def setup
+    @z_1 = GMP::Z(1)
+    @z_2 = GMP::Z(2)
+    @z_neg_11 = GMP::Z(-11)
+
+  end
+
   def test_init_null
     assert_equal(GMP::Q.new(), 0, "GMP::Q.new() should initialize to 0")
   end
 
   def test_init_fixnum
-    assert_equal(GMP::Q.new(1), 1, "GMP::Q.new(x : Fixnum) should initialize to 0")
+    assert_equal(GMP::Q.new(  1),   1, "GMP::Q.new(x) should accept a Fixnum")
+    assert_equal(GMP::Q.new(-11), -11, "GMP::Q.new(x) should accept a negative Fixnum")
   end
 
-  def test_init_fixnum2
-    assert_equal(GMP::Q.new(1, 2).to_s, "1/2", "GMP::Q.new(num : Fixnum, den : Fixnum) should initialize to num/den")
-    assert_equal(GMP::Q.new(1, 3).to_s, "1/3", "GMP::Q.new(num : Fixnum, den : Fixnum) should initialize to num/den")
-    assert_equal(GMP::Q.new(2, 4).to_s, "1/2", "GMP::Q.new(num : Fixnum, den : Fixnum) should initialize to num/den")
+  def test_init_z
+    assert_equal(GMP::Q.new(@z_1),        1, "GMP::Q.new(x) should accept a GMP::Z")
+    assert_equal(GMP::Q.new(@z_neg_11), -11, "GMP::Q.new(x) should accept a negative GMP::Z")
   end
 
   def test_init_string
@@ -21,33 +28,47 @@ class TC_Q < Test::Unit::TestCase
   end
 
   def test_init_q
-    a = GMP::Q.new(1,2)
+    a = GMP::Q.new(1, 2)
     assert_equal(GMP::Q.new(a), a, "GMP::Q.new(x : Q) should initialize to x")
   end
+
+  def test_init_pair
+    assert_equal(GMP::Q.new(1, 2).to_s, "1/2", "GMP::Q.new(n : Fixnum, d : Fixnum) initializes correctly")
+    assert_equal(GMP::Q.new(1, 3).to_s, "1/3", "GMP::Q.new(n : Fixnum, d : Fixnum) initializes correctly")
+    assert_equal(GMP::Q.new(2, 4).to_s, "1/2", "GMP::Q.new(n : Fixnum, d : Fixnum) initializes correctly")
+    assert_equal(GMP::Q.new(1, 2).to_s, "1/2", "GMP::Q.new(n : Fixnum, d : Fixnum) initializes correctly")
+
+    assert_equal(GMP::Q.new(@z_1, 2).to_s, "1/2", "GMP::Q.new(n : GMP::Z, d : Fixnum) initializes correctly")
+    assert_equal(GMP::Q.new(@z_1, @z_2).to_s, "1/2", "GMP::Q.new(n : GMP::Z, d : GMP::Z) initializes correctly")
+  end
+
+  def test_bad_init
+    assert_raise(ArgumentError) { GMP::Q.new(1, 2, 3) }
+  end
   
   def test_neg
-        a = GMP::Q( 1,2)
-    neg_a = GMP::Q(-1,2)
+        a = GMP::Q( 1, 2)
+    neg_a = GMP::Q(-1, 2)
     assert_equal(neg_a, -a,     "GMP::Q#-@ should work.")
     assert_equal(neg_a,  a.neg, "GMP::Q#neg should work.")
     a.neg!
     assert_equal(neg_a,  a,     "GMP::Q#neg! should work.")
     
-        b = GMP::Q(-4,3)
-    neg_b = GMP::Q( 4,3)
+    b     = GMP::Q(-4, 3)
+    neg_b = GMP::Q( 4, 3)
     assert_equal(neg_b, -b,     "GMP::Q#-@ should work.")
     assert_equal(neg_b,  b.neg, "GMP::Q#neg should work.")
     b.neg!
     assert_equal(neg_b,  b,     "GMP::Q#neg! should work.")
     
-        c = GMP::Q( "9753108642/2")
+    c     = GMP::Q( "9753108642/2")
     neg_c = GMP::Q("-9753108642/2")
     assert_equal(neg_c, -c,     "GMP::Q#-@ should work.")
     assert_equal(neg_c,  c.neg, "GMP::Q#neg should work.")
     c.neg!
     assert_equal(neg_c,  c,     "GMP::Q#neg! should work.")
     
-        d = GMP::Q(0)
+    d     = GMP::Q(0)
     neg_d = GMP::Q(0)
     assert_equal(neg_d, -d,     "GMP::Q#-@ should work.")
     assert_equal(neg_d,  d.neg, "GMP::Q#neg should work.")
@@ -56,25 +77,25 @@ class TC_Q < Test::Unit::TestCase
   end
   
   def test_abs
-        a = GMP::Q(1,2)
-    abs_a = GMP::Q(1,2)
+    a     = GMP::Q(1, 2)
+    abs_a = GMP::Q(1, 2)
     assert_equal(abs_a,  a.abs, "GMP::Q#abs should work.")
     a.abs!
     assert_equal(abs_a,  a,     "GMP::Q#abs! should work.")
     
-        b = GMP::Q(-4,3)
-    abs_b = GMP::Q( 4,3)
+    b     = GMP::Q(-4, 3)
+    abs_b = GMP::Q( 4, 3)
     assert_equal(abs_b,  b.abs, "GMP::Q#abs should work.")
     b.abs!
     assert_equal(abs_b,  b,     "GMP::Q#abs! should work.")
     
-        c = GMP::Q("9753108642/2")
+    c     = GMP::Q("9753108642/2")
     abs_c = GMP::Q("9753108642/2")
     assert_equal(abs_c,  c.abs, "GMP::Q#abs should work.")
     c.abs!
     assert_equal(abs_c,  c,     "GMP::Q#abs! should work.")
     
-        d = GMP::Q(0)
+    d     = GMP::Q(0)
     abs_d = GMP::Q(0)
     assert_equal(abs_d,  d.abs, "GMP::Q#abs should work.")
     d.abs!
@@ -82,19 +103,19 @@ class TC_Q < Test::Unit::TestCase
   end
   
   def test_inv
-        a = GMP::Q(1,2)
+    a     = GMP::Q(1,2)
     inv_a = GMP::Q(2,1)
     assert_equal(inv_a,  a.inv, "GMP::Q#inv should work.")
     a.inv!
     assert_equal(inv_a,  a,     "GMP::Q#inv! should work.")
     
-        b = GMP::Q(-4,3)
+    b     = GMP::Q(-4,3)
     inv_b = GMP::Q(-3,4)
     assert_equal(inv_b,  b.inv, "GMP::Q#inv should work.")
     b.inv!
     assert_equal(inv_b,  b,     "GMP::Q#inv! should work.")
     
-        c = GMP::Q("9753108642/2")
+    c     = GMP::Q("9753108642/2")
     inv_c = GMP::Q("2/9753108642")
     assert_equal(inv_c,  c.inv, "GMP::Q#inv should work.")
     c.inv!
@@ -106,16 +127,16 @@ class TC_Q < Test::Unit::TestCase
   end
   
   def test_to_s
-    assert_equal("1/2", GMP::Q(1,2).to_s, "GMP::Q should to_s properly.")
-    assert_equal("1/4294967296", GMP::Q(1,2**32).to_s, "GMP::Q should to_s properly.")
-    assert_equal("1/4294967296", GMP::Q(1,2**32).to_s, "GMP::Q should to_s properly.")
-    assert_equal("-22/7", GMP::Q(-22,7).to_s, "GMP::Q should to_s properly.")
-    assert_equal("-22/7", GMP::Q(22,-7).to_s, "GMP::Q should to_s properly.")
-    assert_equal("22/7", GMP::Q(-22,-7).to_s, "GMP::Q should to_s properly.")
-    assert_equal("0", GMP::Q(0,1).to_s, "GMP::Q should to_s properly.")
-    assert_equal("0", GMP::Q(0,2000).to_s, "GMP::Q should to_s properly.")
-    assert_equal("0", GMP::Q(0,-2000).to_s, "GMP::Q should to_s properly.")
+    assert_equal("1/2", GMP::Q(1, 2).to_s, "GMP::Q should to_s properly.")
+    assert_equal("1/4294967296", GMP::Q(1, 2**32).to_s, "GMP::Q should to_s properly.")
+    assert_equal("1/4294967296", GMP::Q(1, 2**32).to_s, "GMP::Q should to_s properly.")
+    assert_equal("-22/7", GMP::Q(-22, 7).to_s, "GMP::Q should to_s properly.")
+    assert_equal("-22/7", GMP::Q(22, -7).to_s, "GMP::Q should to_s properly.")
+    assert_equal("22/7", GMP::Q(-22, -7).to_s, "GMP::Q should to_s properly.")
+    assert_equal("0", GMP::Q(0, 1).to_s, "GMP::Q should to_s properly.")
+    assert_equal("0", GMP::Q(0, 2000).to_s, "GMP::Q should to_s properly.")
+    assert_equal("0", GMP::Q(0, -2000).to_s, "GMP::Q should to_s properly.")
 
-    assert_equal("1/2", GMP::Q(1,2).inspect, "GMP::Q should inspect properly.")
+    assert_equal("1/2", GMP::Q(1, 2).inspect, "GMP::Q should inspect properly.")
   end
 end

data/test/tc_q_basic.rb

@@ -1,7 +1,7 @@
 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
+class TcRationalBasic < Test::Unit::TestCase
   def setup
     @a=GMP::Q.new(100,11)
     @b=GMP::Q.new(200,17)

data/test/{tc_floor_ceil_truncate.rb → tc_q_floor_ceil_truncate.rb}

@@ -1,12 +1,12 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_floor_ceil_truncate < Test::Unit::TestCase
+class TcRationalFloorCeilTruncate < Test::Unit::TestCase
   def setup
     @a = GMP::Q.new(200,11)
     @b = -@a
     @c = GMP::Q.new(70,10)
   end
-  
+
   def test_floor_ceil_truncate
     assert_equal(@a.floor, 18, "GMP::Q should floor.")
     assert_equal(@a.ceil, 19, "GMP::Q should ceil.")

data/test/tc_q_num_den.rb

@@ -0,0 +1,18 @@
+require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
+
+class TcRationalDenNum < Test::Unit::TestCase
+  def setup
+    @p = GMP::Q.new(22, 7)
+    @q = GMP::Q.new(-0.625)
+  end
+
+  def test_num
+    assert_equal(@p.num, 22, "GMP::Q#num returns the numerator")
+    assert_equal(@q.num, -5, "GMP::Q#num returns the numerator")
+  end
+
+  def test_den
+    assert_equal(@p.den, 7, "GMP::Q#den returns the denominator")
+    assert_equal(@q.den, 8, "GMP::Q#den returns the denominator")
+  end
+end

data/test/tc_random.rb

@@ -1,9 +1,6 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_Random < Test::Unit::TestCase
-  def setup
-  end
-
+class TcRandom < Test::Unit::TestCase
   def test_urandomb
     @a = GMP::RandState.new
     @a.seed(13579)

data/test/tc_sgn_neg_abs.rb

@@ -1,6 +1,6 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_sgn_neg_abs < Test::Unit::TestCase
+class TcSgnNegAbs < Test::Unit::TestCase
   def setup
     @a=GMP::Z.new(10)
     @b=GMP::Z.new()

data/test/tc_swap.rb

@@ -1,6 +1,6 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_swap < Test::Unit::TestCase
+class TcSwap < Test::Unit::TestCase
   def setup
     @a=GMP::Z.new(100)
     @b=GMP::Z.new(200)

data/test/tc_z.rb

@@ -1,6 +1,6 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_Z < Test::Unit::TestCase
+class TcInteger < Test::Unit::TestCase
   def test_init_null
     assert_equal(GMP::Z.new(), 0, "GMP::Z.new() should initialize to 0")
   end

data/test/tc_z_addmul.rb

@@ -4,7 +4,7 @@ require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 #          Z op (Fixnum,Z), Z op (Fixnum,Fixnum), Z op (Fixnum,Bignum)
 #          Z op (Bignum,Z), Z op (Bignum,Bignum), Z op (Bignum,Fixnum)]
 # Things are tested both ways because the implementation is asymetrical
-class TC_Z_Addmul < Test::Unit::TestCase
+class TcIntegerAddmul < Test::Unit::TestCase
   def setup
     @_64bit = 1_000_000_000_000.is_a? Fixnum
   end

data/test/tc_z_basic.rb

@@ -2,7 +2,7 @@ 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
-class TC_Z_Basic < Test::Unit::TestCase
+class TcIntegerBasic < Test::Unit::TestCase
   def setup
     @a=GMP::Z.new(100)
     @b=GMP::Z.new(200)
@@ -27,7 +27,8 @@ class TC_Z_Basic < Test::Unit::TestCase
 
   def test_mul
     assert_equal(@a * @b, 100   * 200,   "GMP::Z should multiply correctly")
-    assert_equal(@a * 2,  100   * 2,     "GMP::Z should multiply correctly")
+    assert_equal(@a *  2, 100   *  2,    "GMP::Z should multiply correctly")
+    assert_equal(@a * -2, 100   * -2,    "GMP::Z should multiply correctly")
     assert_equal(@a * @c, 100   * 2**32, "GMP::Z should multiply correctly")
     assert_equal( 2 * @a, 2     * 100,   "GMP::Z should multiply correctly")
     assert_equal(@c * @a, 2**32 * 100,   "GMP::Z should multiply correctly")

data/test/tc_z_exponentiation.rb

@@ -1,6 +1,6 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_Z_Exponentiation < Test::Unit::TestCase
+class TcIntegerExponentiation < Test::Unit::TestCase
   def setup
     @a = GMP::Z.new(100)
     @b = GMP::Z.new(16)
@@ -14,9 +14,9 @@ class TC_Z_Exponentiation < Test::Unit::TestCase
   end
   
   def test_powmod
-    assert_equal(GMP::Z(16), @a.powmod(2,256),  "(a : GMP::Z).powmod((b : Fixnum), (c : Fixnum)) should work correctly")
-    assert_equal(GMP::Z(76), @b.powmod(10,@a),  "(a : GMP::Z).powmod((b : Fixnum), (c : GMP::Z)) should work correctly")
-    assert_equal(GMP::Z(0), @a.powmod(@b,256),  "(a : GMP::Z).powmod((b : GMP::Z), (c : Fixnum)) should work correctly")
-    assert_equal(GMP::Z(0), @a.powmod(@b,@c), "(a : GMP::Z).powmod((b : GMP::Z), (c : GMP::Z)) should work correctly")
+    assert_equal(GMP::Z(16), @a.powmod(2,256),  "GMP::Z#powmod((b : Fixnum), (c : Fixnum)) should work correctly")
+    assert_equal(GMP::Z(76), @b.powmod(10,@a),  "GMP::Z#powmod((b : Fixnum), (c : GMP::Z)) should work correctly")
+    assert_equal(GMP::Z(0), @a.powmod(@b,256),  "GMP::Z#powmod((b : GMP::Z), (c : Fixnum)) should work correctly")
+    assert_equal(GMP::Z(0), @a.powmod(@b,@c), "GMP::Z#powmod((b : GMP::Z), (c : GMP::Z)) should work correctly")
   end
 end

data/test/tc_z_export_import.rb

@@ -1,6 +1,6 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_Z_ExportImport < Test::Unit::TestCase
+class TcIntegerExportImport < Test::Unit::TestCase
   def setup
     @a = GMP::Z.new(3)**40
   end

data/test/{tc_fib_fac_nextprime.rb → tc_z_fib_fac_nextprime.rb}

@@ -1,6 +1,6 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_fib_fac_nextprime < Test::Unit::TestCase
+class TcFibFacNextprime < Test::Unit::TestCase
   def setup
      @z0 = GMP::Z.new( 0)
      @z1 = GMP::Z.new( 1)

data/test/tc_z_functional_mappings.rb

@@ -1,10 +1,10 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_Z_Functional_Mappings < Test::Unit::TestCase
+class TcIntegerFunctionalMappings < Test::Unit::TestCase
   def setup
     @_64bit = 1_000_000_000_000.is_a? Fixnum
     @xp1 = 7
-    @xp2 = 2**30 -1
+    @xp2 = 2**30 - 1
     @xn1 = -5
     @b1 = 2**70
     # TODO: Add edge cases along Fixnum/Bignum border!!

data/test/tc_z_gcd_lcm_invert.rb

@@ -1,6 +1,6 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_Z_GCD_LCM_Invert < Test::Unit::TestCase
+class TcIntegerGcdLcmInvert < Test::Unit::TestCase
   def setup
     @a = GMP::Z( 24)  # 2^3 * 3
     @b = GMP::Z(  8)  # 2^3

data/test/tc_z_hamdist.rb

@@ -1,6 +1,6 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_Z_Hamdist < Test::Unit::TestCase
+class TcIntegerHamdist < Test::Unit::TestCase
   def setup
     @z32 = GMP::Z(32)  # 100000
     @z33 = GMP::Z(33)  # 100001

data/test/tc_z_io.rb

@@ -5,7 +5,8 @@ if (RUBY_DESCRIPTION =~ /rubinius/i and RUBY_VERSION =~ /^1.8/) ||
    (RUBY_DESCRIPTION =~ /jruby/i)
   # Sorry charlie
 else
-class TC_Z_IO < Test::Unit::TestCase
+
+class TcIntegerIo < Test::Unit::TestCase
   def setup
     @two_pow_100   = GMP::Z.pow(GMP::Z(2), 100)
     @three_pow_100 = GMP::Z.pow(GMP::Z(3), 100)

data/test/tc_z_jac_leg_rem.rb

@@ -1,6 +1,6 @@
 require File.expand_path(File.join(File.dirname(__FILE__), 'test_helper'))
 
-class TC_Z_Jacobi_Legendre_Remove < Test::Unit::TestCase
+class TcIntegerJacobiLegendreRemove < Test::Unit::TestCase
   def setup
     @one         = GMP::Z(1)
     @two         = GMP::Z(2)