summaryrefslogtreecommitdiff log msg author committer range
path: root/test/-ext-/bignum/test_mul.rb
 ```1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 ``` ``````require 'test/unit' require "-test-/bignum" class TestBignum < Test::Unit::TestCase class TestMul < Test::Unit::TestCase SIZEOF_BDIGITS = Bignum::SIZEOF_BDIGITS BITSPERDIG = Bignum::BITSPERDIG def test_mul_normal x = (1 << BITSPERDIG) | 1 y = (1 << BITSPERDIG) | 1 z = (1 << (BITSPERDIG*2)) | (2 << BITSPERDIG) | 1 assert_equal(z, x.big_mul_normal(y)) end def test_mul_normal_zero_in_x x = (1 << (2*BITSPERDIG)) | 1 y = (1 << BITSPERDIG) | 1 z = (1 << (BITSPERDIG*3)) | (1 << (BITSPERDIG*2)) | (1 << BITSPERDIG) | 1 assert_equal(z, x.big_mul_normal(y)) end def test_mul_normal_zero_in_y x = (1 << BITSPERDIG) | 1 y = (1 << (2*BITSPERDIG)) | 1 z = (1 << (BITSPERDIG*3)) | (1 << (BITSPERDIG*2)) | (1 << BITSPERDIG) | 1 assert_equal(z, x.big_mul_normal(y)) end def test_mul_normal_max_max x = (1 << (2*BITSPERDIG)) - 1 y = (1 << (2*BITSPERDIG)) - 1 z = (1 << (4*BITSPERDIG)) - (1 << (2*BITSPERDIG+1)) + 1 assert_equal(z, x.big_mul_normal(y)) end def test_mul_balance x = (1 << BITSPERDIG) | 1 y = (1 << BITSPERDIG) | 1 z = (1 << (BITSPERDIG*2)) | (2 << BITSPERDIG) | 1 assert_equal(z, x.big_mul_balance(y)) end def test_mul_karatsuba x = (1 << BITSPERDIG) | 1 y = (1 << BITSPERDIG) | 1 z = (1 << (BITSPERDIG*2)) | (2 << BITSPERDIG) | 1 assert_equal(z, x.big_mul_karatsuba(y)) end end end ``````