borel 0.1.1 → 0.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- data/.gitignore +1 -0
- data/Gemfile +8 -0
- data/Guardfile +6 -0
- data/{MIT-LICENSE → LICENSE} +2 -0
- data/README.md +44 -5
- data/borel.gemspec +3 -1
- data/lib/borel/errors.rb +36 -0
- data/lib/borel/interval.rb +2 -31
- data/lib/borel/math_extensions.rb +2 -0
- data/lib/borel/math_extensions/interval_arithmetic.rb +13 -0
- data/lib/borel/math_extensions/randomizable.rb +20 -0
- data/lib/borel/version.rb +2 -2
- data/spec/math_extensions/interval_arithmetic_spec.rb +33 -0
- data/spec/math_extensions/randomizable_spec.rb +54 -0
- data/spec/math_extensions_spec.rb +11 -0
- metadata +18 -6
data/.gitignore
CHANGED
data/Gemfile
ADDED
data/Guardfile
ADDED
data/{MIT-LICENSE → LICENSE}
RENAMED
data/README.md
CHANGED
@@ -12,8 +12,8 @@ Borelian sets are formed by enumerable union, intersection or
|
|
12
12
|
|
13
13
|
[1]: http://intervals.rubyforge.org
|
14
14
|
|
15
|
-
|
16
|
-
|
15
|
+
Install
|
16
|
+
-------
|
17
17
|
|
18
18
|
You may install it traditionally, for interactive sessions:
|
19
19
|
|
@@ -111,7 +111,46 @@ Interval['a','c'] ^ Interval['b','d'] # -> Interval['b','c']
|
|
111
111
|
Interval['a','c'] | Interval['b','d'] # -> Interval['a','d']
|
112
112
|
```
|
113
113
|
|
114
|
-
|
114
|
+
Math Extensions
|
115
|
+
---------------
|
115
116
|
|
116
|
-
|
117
|
-
|
117
|
+
By requiring `borel/math_extensions` you are provided with some natural
|
118
|
+
math-related interval methods:
|
119
|
+
|
120
|
+
```ruby
|
121
|
+
Interval[1,5].rand # -> Random.new.rand 1..5
|
122
|
+
Interval[1,5].width # -> 5-1 or 4
|
123
|
+
```
|
124
|
+
|
125
|
+
It's supported only for Numeric Comparable and arithmetic supported classes
|
126
|
+
|
127
|
+
Remarks
|
128
|
+
-------
|
129
|
+
|
130
|
+
* There is no distinction between **open** and **closed**intervals
|
131
|
+
* Complement and Minus operations have limited support for
|
132
|
+
non numeric-comparable classes
|
133
|
+
|
134
|
+
License
|
135
|
+
-------
|
136
|
+
|
137
|
+
(The MIT License)
|
138
|
+
|
139
|
+
Copyright (c) 2012 Amadeus Folego
|
140
|
+
|
141
|
+
Permission is hereby granted, free of charge, to any person obtaining a copy
|
142
|
+
of this software and associated documentation files (the "Software"), to
|
143
|
+
deal in the Software without restriction, including without limitation the
|
144
|
+
rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
|
145
|
+
sell copies of the Software, and to permit persons to whom the Software is
|
146
|
+
furnished to do so, subject to the following conditions:
|
147
|
+
|
148
|
+
The above copyright notice and this permission notice shall be included in
|
149
|
+
all copies or substantial portions of the Software.
|
150
|
+
|
151
|
+
THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
|
152
|
+
IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
|
153
|
+
FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
|
154
|
+
THE AUTHORS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
|
155
|
+
IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
|
156
|
+
CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
data/borel.gemspec
CHANGED
@@ -8,7 +8,9 @@ Gem::Specification.new do |s|
|
|
8
8
|
s.email = ["amadeusfolego@gmail.com"]
|
9
9
|
s.homepage = "http://github.com/amadeusfolego/borel"
|
10
10
|
s.summary = "Generic ordered set's operations"
|
11
|
-
s.description = "Borel sets are made of enumerable union and intersection of
|
11
|
+
s.description = "Borel sets are made of enumerable union and intersection of
|
12
|
+
intervals. Borel performs regular operations on any interval of any
|
13
|
+
Comparable class."
|
12
14
|
s.rubyforge_project = s.name
|
13
15
|
s.required_ruby_version = ">= 1.9.3"
|
14
16
|
s.required_rubygems_version = ">= 1.3.6"
|
data/lib/borel/errors.rb
ADDED
@@ -0,0 +1,36 @@
|
|
1
|
+
module Borel
|
2
|
+
class Construction < ArgumentError
|
3
|
+
def initialize(array)
|
4
|
+
super(
|
5
|
+
"An interval can only be constructed either from at most two " \
|
6
|
+
"numbers or from a sequence of arrays of at most two numbers: " +
|
7
|
+
array.inspect)
|
8
|
+
end
|
9
|
+
end
|
10
|
+
|
11
|
+
class NonDegenerate < ArgumentError
|
12
|
+
def initialize(i)
|
13
|
+
super("#{i.inspect} is not degenerate.")
|
14
|
+
end
|
15
|
+
end
|
16
|
+
|
17
|
+
class NonSimple < ArgumentError
|
18
|
+
def initialize(i)
|
19
|
+
super("#{i.inspect} is not simple.")
|
20
|
+
end
|
21
|
+
end
|
22
|
+
|
23
|
+
class EmptyInterval < ArgumentError
|
24
|
+
def initialize
|
25
|
+
super("The interval is empty.")
|
26
|
+
end
|
27
|
+
end
|
28
|
+
|
29
|
+
class OpenRight < ArgumentError
|
30
|
+
def initialize(range)
|
31
|
+
super(
|
32
|
+
"Cannot construct an interval from a three-dot range " \
|
33
|
+
"with end-value #{range.last.inspect}.")
|
34
|
+
end
|
35
|
+
end
|
36
|
+
end
|
data/lib/borel/interval.rb
CHANGED
@@ -1,3 +1,5 @@
|
|
1
|
+
require 'borel/errors'
|
2
|
+
|
1
3
|
Infinity = 1/0.0
|
2
4
|
|
3
5
|
class Interval
|
@@ -200,34 +202,3 @@ class Interval::Multiple < Interval
|
|
200
202
|
self
|
201
203
|
end
|
202
204
|
end
|
203
|
-
|
204
|
-
module Borel
|
205
|
-
class Construction < ArgumentError
|
206
|
-
def initialize(array)
|
207
|
-
super(
|
208
|
-
"An interval can only be constructed either from at most two " \
|
209
|
-
"numbers or from a sequence of arrays of at most two numbers: " +
|
210
|
-
array.inspect)
|
211
|
-
end
|
212
|
-
end
|
213
|
-
|
214
|
-
class NonDegenerate < ArgumentError
|
215
|
-
def initialize(i)
|
216
|
-
super("#{i.inspect} is not degenerate.")
|
217
|
-
end
|
218
|
-
end
|
219
|
-
|
220
|
-
class NonSimple < ArgumentError
|
221
|
-
def initialize(i)
|
222
|
-
super("#{i.inspect} is not simple.")
|
223
|
-
end
|
224
|
-
end
|
225
|
-
|
226
|
-
class OpenRight < ArgumentError
|
227
|
-
def initialize(range)
|
228
|
-
super(
|
229
|
-
"Cannot construct an interval from a three-dot range " \
|
230
|
-
"with end-value #{range.last.inspect}.")
|
231
|
-
end
|
232
|
-
end
|
233
|
-
end
|
@@ -0,0 +1,20 @@
|
|
1
|
+
require 'borel/math_extensions/interval_arithmetic'
|
2
|
+
|
3
|
+
module Borel
|
4
|
+
module Randomizable
|
5
|
+
def rand
|
6
|
+
raise EmptyInterval if self.respond_to?(:empty?) and self.empty?
|
7
|
+
|
8
|
+
if self.simple?
|
9
|
+
Random.new.rand Range.new *self.extrema
|
10
|
+
else
|
11
|
+
total_weight = self.map(&:width).reduce(:+)
|
12
|
+
selected_weight = Random.new.rand 0..total_weight
|
13
|
+
rand_interval = self.find{|c| (selected_weight -= c.width) <= 0}
|
14
|
+
Random.new.rand Range.new *rand_interval.extrema
|
15
|
+
end
|
16
|
+
end
|
17
|
+
|
18
|
+
Interval.send(:include, self)
|
19
|
+
end
|
20
|
+
end
|
data/lib/borel/version.rb
CHANGED
@@ -0,0 +1,33 @@
|
|
1
|
+
require 'borel/math_extensions/interval_arithmetic'
|
2
|
+
|
3
|
+
describe Borel::IntervalArithmetic do
|
4
|
+
it "should include #width" do
|
5
|
+
class Foo
|
6
|
+
include Borel::IntervalArithmetic
|
7
|
+
end
|
8
|
+
|
9
|
+
Foo.instance_methods.should include :width
|
10
|
+
end
|
11
|
+
|
12
|
+
context "#width" do
|
13
|
+
specify "Interval[1,2] -> 1" do
|
14
|
+
Interval[1,2].width.should be 1
|
15
|
+
end
|
16
|
+
|
17
|
+
specify "Interval[-1,2] -> 3" do
|
18
|
+
Interval[-1,2].width.should be 3
|
19
|
+
end
|
20
|
+
|
21
|
+
specify "Interval[1] -> 0" do
|
22
|
+
Interval[1].width.should be 0
|
23
|
+
end
|
24
|
+
|
25
|
+
it "should raise error if not simple" do
|
26
|
+
expect{Interval[].width}.
|
27
|
+
to raise_error Borel::NonSimple
|
28
|
+
|
29
|
+
expect{Interval[[1,2],[3,4]].width}.
|
30
|
+
to raise_error Borel::NonSimple
|
31
|
+
end
|
32
|
+
end
|
33
|
+
end
|
@@ -0,0 +1,54 @@
|
|
1
|
+
require 'borel/math_extensions/randomizable'
|
2
|
+
|
3
|
+
describe Borel::Randomizable do
|
4
|
+
it 'should include #rand' do
|
5
|
+
class Foo
|
6
|
+
include Borel::Randomizable
|
7
|
+
end
|
8
|
+
|
9
|
+
Foo.instance_methods.should include :rand
|
10
|
+
end
|
11
|
+
|
12
|
+
context '#random' do
|
13
|
+
let(:interval){ Interval[1,10] }
|
14
|
+
let(:rand_mock) { mock }
|
15
|
+
|
16
|
+
it 'should be a point inside the interval' do
|
17
|
+
interval.should include interval.rand
|
18
|
+
end
|
19
|
+
|
20
|
+
it 'should be itself if degenerate' do
|
21
|
+
Interval[5].rand.should be 5
|
22
|
+
end
|
23
|
+
|
24
|
+
it 'should be a random number on simple intervals' do
|
25
|
+
random_number = 3
|
26
|
+
Random.should_receive(:new).and_return(rand_mock)
|
27
|
+
rand_mock.should_receive(:rand).with(1..10).and_return(random_number)
|
28
|
+
|
29
|
+
interval.rand.should be random_number
|
30
|
+
end
|
31
|
+
|
32
|
+
it 'should run on multiple intervals by weight' do
|
33
|
+
interval = Interval[[1,5],[6,8]]
|
34
|
+
|
35
|
+
Random.should_receive(:new).exactly(2).times.and_return(rand_mock)
|
36
|
+
rand_mock.should_receive(:rand).with(0..6).and_return(4)
|
37
|
+
rand_mock.should_receive(:rand).with(1..5).and_return(3)
|
38
|
+
|
39
|
+
interval.rand.should be 3
|
40
|
+
|
41
|
+
Random.should_receive(:new).exactly(2).times.and_return(rand_mock)
|
42
|
+
rand_mock.should_receive(:rand).with(0..6).and_return(6)
|
43
|
+
rand_mock.should_receive(:rand).with(6..8).and_return(7)
|
44
|
+
|
45
|
+
interval.rand.should be 7
|
46
|
+
end
|
47
|
+
|
48
|
+
it 'should raise error if empty' do
|
49
|
+
expect{Interval[].rand}.
|
50
|
+
to raise_error Borel::EmptyInterval
|
51
|
+
end
|
52
|
+
end
|
53
|
+
|
54
|
+
end
|
metadata
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: borel
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 0.
|
4
|
+
version: 0.2.0
|
5
5
|
prerelease:
|
6
6
|
platform: ruby
|
7
7
|
authors:
|
@@ -9,10 +9,13 @@ authors:
|
|
9
9
|
autorequire:
|
10
10
|
bindir: bin
|
11
11
|
cert_chain: []
|
12
|
-
date: 2012-02-
|
12
|
+
date: 2012-02-24 00:00:00.000000000 Z
|
13
13
|
dependencies: []
|
14
|
-
description: Borel sets are made of enumerable union and intersection of
|
15
|
-
|
14
|
+
description: ! 'Borel sets are made of enumerable union and intersection of
|
15
|
+
|
16
|
+
intervals. Borel performs regular operations on any interval of any
|
17
|
+
|
18
|
+
Comparable class.'
|
16
19
|
email:
|
17
20
|
- amadeusfolego@gmail.com
|
18
21
|
executables: []
|
@@ -21,17 +24,26 @@ extra_rdoc_files: []
|
|
21
24
|
files:
|
22
25
|
- .gitignore
|
23
26
|
- .rspec
|
24
|
-
-
|
27
|
+
- Gemfile
|
28
|
+
- Guardfile
|
29
|
+
- LICENSE
|
25
30
|
- README.md
|
26
31
|
- Rakefile
|
27
32
|
- borel.gemspec
|
28
33
|
- lib/borel.rb
|
34
|
+
- lib/borel/errors.rb
|
29
35
|
- lib/borel/interval.rb
|
36
|
+
- lib/borel/math_extensions.rb
|
37
|
+
- lib/borel/math_extensions/interval_arithmetic.rb
|
38
|
+
- lib/borel/math_extensions/randomizable.rb
|
30
39
|
- lib/borel/nil_class.rb
|
31
40
|
- lib/borel/numeric.rb
|
32
41
|
- lib/borel/range.rb
|
33
42
|
- lib/borel/version.rb
|
34
43
|
- spec/interval_spec.rb
|
44
|
+
- spec/math_extensions/interval_arithmetic_spec.rb
|
45
|
+
- spec/math_extensions/randomizable_spec.rb
|
46
|
+
- spec/math_extensions_spec.rb
|
35
47
|
- spec/nil_class_spec.rb
|
36
48
|
- spec/numeric_spec.rb
|
37
49
|
- spec/range_spec.rb
|
@@ -57,7 +69,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
|
|
57
69
|
version: 1.3.6
|
58
70
|
requirements: []
|
59
71
|
rubyforge_project: borel
|
60
|
-
rubygems_version: 1.8.
|
72
|
+
rubygems_version: 1.8.10
|
61
73
|
signing_key:
|
62
74
|
specification_version: 3
|
63
75
|
summary: Generic ordered set's operations
|