summaryrefslogtreecommitdiff
path: root/spec/ruby/core/integer/divide_spec.rb
blob: 0d5e16e986825ad78615ed75856ae4366373722b (plain)
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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
require_relative '../../spec_helper'
require_relative 'shared/arithmetic_coerce'

describe "Integer#/" do
  it_behaves_like :integer_arithmetic_coerce_not_rescue, :/

  context "fixnum" do
    it "returns self divided by the given argument" do
      (2 / 2).should == 1
      (3 / 2).should == 1
    end

    it "supports dividing negative numbers" do
      (-1 / 10).should == -1
      (-1 / 10**10).should == -1
      (-1 / 10**20).should == -1
    end

    it "preservers sign correctly" do
      (4 / 3).should == 1
      (4 / -3).should == -2
      (-4 / 3).should == -2
      (-4 / -3).should == 1
      (0 / -3).should == 0
      (0 / 3).should == 0
    end

    it "returns result the same class as the argument" do
      (3 / 2).should == 1
      (3 / 2.0).should == 1.5
      (3 / Rational(2, 1)).should == Rational(3, 2)
    end

    it "raises a ZeroDivisionError if the given argument is zero and not a Float" do
      -> { 1 / 0 }.should raise_error(ZeroDivisionError)
    end

    it "does NOT raise ZeroDivisionError if the given argument is zero and is a Float" do
      (1 / 0.0).to_s.should == 'Infinity'
      (-1 / 0.0).to_s.should == '-Infinity'
    end

    it "coerces fixnum and return self divided by other" do
      (-1 / 50.4).should be_close(-0.0198412698412698, TOLERANCE)
      (1 / bignum_value).should == 0
    end

    it "raises a TypeError when given a non-Integer" do
      -> { 13 / mock('10') }.should raise_error(TypeError)
      -> { 13 / "10"       }.should raise_error(TypeError)
      -> { 13 / :symbol    }.should raise_error(TypeError)
    end
  end

  context "bignum" do
    before :each do
      @bignum = bignum_value(88)
    end

    it "returns self divided by other" do
      (@bignum / 4).should == 4611686018427387926

      (@bignum / bignum_value(2)).should == 1

      (-(10**50) / -(10**40 + 1)).should == 9999999999
      ((10**50) / (10**40 + 1)).should == 9999999999

      ((-10**50) / (10**40 + 1)).should == -10000000000
      ((10**50) / -(10**40 + 1)).should == -10000000000
    end

    it "preservers sign correctly" do
      (4 / bignum_value).should == 0
      (4 / -bignum_value).should == -1
      (-4 / bignum_value).should == -1
      (-4 / -bignum_value).should == 0
      (0 / bignum_value).should == 0
      (0 / -bignum_value).should == 0
    end

    it "returns self divided by Float" do
      not_supported_on :opal do
        (bignum_value(88) / 4294967295.0).should be_close(4294967297.0, TOLERANCE)
      end
      (bignum_value(88) / 4294967295.5).should be_close(4294967296.5, TOLERANCE)
    end

    it "returns result the same class as the argument" do
      (@bignum / 4).should == 4611686018427387926
      (@bignum / 4.0).should be_close(4611686018427387926, TOLERANCE)
      (@bignum / Rational(4, 1)).should == Rational(4611686018427387926, 1)
    end

    it "does NOT raise ZeroDivisionError if other is zero and is a Float" do
      (bignum_value / 0.0).to_s.should == 'Infinity'
      (bignum_value / -0.0).to_s.should == '-Infinity'
    end

    it "raises a ZeroDivisionError if other is zero and not a Float" do
      -> { @bignum / 0 }.should raise_error(ZeroDivisionError)
    end

    it "raises a TypeError when given a non-numeric" do
      -> { @bignum / mock('10') }.should raise_error(TypeError)
      -> { @bignum / "2" }.should raise_error(TypeError)
      -> { @bignum / :symbol }.should raise_error(TypeError)
    end
  end

  it "coerces the RHS and calls #coerce" do
    obj = mock("integer plus")
    obj.should_receive(:coerce).with(6).and_return([6, 3])
    (6 / obj).should == 2
  end

  it "coerces the RHS and calls #coerce even if it's private" do
    obj = Object.new
    class << obj
      private def coerce(n)
        [n, 3]
      end
    end

    (6 / obj).should == 2
  end
end