1
0
Fork 0
mirror of https://github.com/ruby/ruby.git synced 2022-11-09 12:17:21 -05:00
ruby--ruby/test/ruby/test_bignum.rb
nobu 44785befea * lib/optparse.rb (OptionParser#order, #permute, #parse): allow an
array as argument.

* test/ruby/test_*.rb: moved invariants to left side in
  assert_equal, and use assert_nil, assert_raises and so on.


git-svn-id: svn+ssh://ci.ruby-lang.org/ruby/trunk@4516 b2dd03c8-39d4-4d8f-98ff-823fe69b080e
2003-09-05 15:15:43 +00:00

89 lines
2 KiB
Ruby

require 'test/unit'
$KCODE = 'none'
class TestBignum < Test::Unit::TestCase
def fact(n)
return 1 if n == 0
f = 1
while n>0
f *= n
n -= 1
end
return f
end
def test_bignum
$x = fact(40)
assert_equal($x, $x)
assert_equal($x, fact(40))
assert($x < $x+2)
assert($x > $x-2)
assert_equal(815915283247897734345611269596115894272000000000, $x)
assert_not_equal(815915283247897734345611269596115894272000000001, $x)
assert_equal(815915283247897734345611269596115894272000000001, $x+1)
assert_equal(335367096786357081410764800000, $x/fact(20))
$x = -$x
assert_equal(-815915283247897734345611269596115894272000000000, $x)
assert_equal(2-(2**32), -(2**32-2))
assert_equal(2**32 - 5, (2**32-3)-2)
for i in 1000..1014
assert_equal(2 ** i, 1 << i)
end
n1 = 1 << 1000
for i in 1000..1014
assert_equal(n1, 1 << i)
n1 *= 2
end
n2=n1
for i in 1..10
n1 = n1 / 2
n2 = n2 >> 1
assert_equal(n1, n2)
end
for i in 4000..4096
n1 = 1 << i;
assert_equal(n1-1, (n1**2-1) / (n1+1))
end
end
def test_calc
b = 10**80
a = b * 9 + 7
assert_equal(7, a.modulo(b))
assert_equal(-b + 7, a.modulo(-b))
assert_equal(b + -7, (-a).modulo(b))
assert_equal(-7, (-a).modulo(-b))
assert_equal(7, a.remainder(b))
assert_equal(7, a.remainder(-b))
assert_equal(-7, (-a).remainder(b))
assert_equal(-7, (-a).remainder(-b))
assert_equal(10000000000000000000100000000000000000000, 10**40+10**20)
assert_equal(100000000000000000000, 10**40/10**20)
a = 677330545177305025495135714080
b = 14269972710765292560
assert_equal(0, a % b)
assert_equal(0, -a % b)
end
def test_shift
def shift_test(a)
b = a / (2 ** 32)
c = a >> 32
assert_equal(b, c)
b = a * (2 ** 32)
c = a << 32
assert_equal(b, c)
end
shift_test(-4518325415524767873)
shift_test(-0xfffffffffffffffff)
end
end