int 0.0.1.interval

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 949f5639815b1a5a2655f7e1db7982baf19d8d60e1029d2cb88fb246dc2c64f8
+  data.tar.gz: 98b7c7df5ade14a9dca26cfb3fce1271b1eeede5950f36c8765f8b3917f76c9d
+SHA512:
+  metadata.gz: 450dd42f73818e5dd8561cf7ac081b8c8a6d095586f8473febe1a57a397a534ff59d2ee1ff0eee22078e8133a1f8706402da8a8a7eee1969b8848db283d5145d
+  data.tar.gz: 119b66a9ccb05c68ab503688b9a0d7813d9d9f4fac638d6303cef07a2e7c186c0601196f2764f1c7eb03084cb8d2abc0844da12dd98b3081e948b77c75a849db

data/README.md

@@ -0,0 +1,41 @@
+# Int
+
+An interval-arithmetic-ish library (with a terrible name).
+
+## Introduction
+
+Welcome to my new gem! In this directory, I'll find the files I need to be able to package
+up my Ruby library into a gem. Put my Ruby code in the file `lib/int`. To experiment with
+that code, run `bin/console` for an interactive prompt.
+
+## Installation
+
+Install the gem and add to the application's Gemfile by executing:
+
+    $ bundle add int
+
+If bundler is not being used to manage dependencies, install the gem by executing:
+
+    $ gem install int
+
+## Usage
+
+```ruby
+pp Int(1, 2) + Int(3, 4) #=> Int(4..(5.0)..6)
+```
+
+## Development
+
+After checking out the repo, run `bin/setup` to install dependencies. Then, run `rake
+test-unit` to run the tests. You can also run `bin/console` for an interactive prompt that
+will allow you to experiment.
+
+To install this gem onto your local machine, run `bundle exec rake install`. To release a
+new version, update the version number in `version.rb`, and then run `bundle exec rake
+release`, which will create a git tag for the version, push git commits and the created
+tag, and push the `.gem` file to [rubygems.org](https://rubygems.org).
+
+## Contributing
+
+Bug reports and pull requests are welcome on GitHub at https://github.com/tadd/int
+except for name change proposals.

data/Rakefile

@@ -0,0 +1,10 @@
+require "bundler/gem_tasks"
+require "rake/testtask"
+
+Rake::TestTask.new(:test) do |t|
+  t.libs << "test"
+  t.libs << "lib"
+  t.test_files = FileList["test/**/*_test.rb"]
+end
+
+task default: :test

data/lib/int/version.rb

@@ -0,0 +1,3 @@
+class Int < Numeric
+  VERSION = "0.0.1.interval"
+end

data/lib/int.rb

@@ -0,0 +1,139 @@
+# Interval arithmetics
+
+require_relative "int/version"
+
+class Int < Numeric
+  attr_reader :begin, :end, :median
+  protected attr_reader :values
+
+  def initialize(beg, encl = nil, error: nil)
+    if error
+      raise ArgumentError, 'do not specify 2nd arg when `error:`' if encl
+      raise ArgumentError, 'error value should be non-negtative' if error.negative?
+      med = beg
+      beg, encl = med-error, med+error
+    else
+      raise ArgumentError, 'specify 2nd arg when no `error:`' unless encl
+      raise ArgumentError, "needs begin <= end: #{beg} <=> #{encl}" unless beg <= encl
+    end
+    @begin, @end = beg, encl
+    @values = [beg, encl]
+    @median = (beg + encl) / 2.0
+  end
+
+  private
+
+  def new(...) = self.class.new(...)
+  def scala?(other) = [Integer, Float, Rational].include?(other.class)
+  def ensure_coerced(other) = other.kind_of?(self.class) ? other : coerce(other).first
+
+  protected
+
+  def round_median(n) = (@median = @median.round(n)).then { self }
+  def invert
+    one = @end.zero? ? -1.0 : 1.0
+    new(one / @end, 1.0 / @begin)
+  end
+
+  public
+
+  def self.error(error)
+    new(1, error:)
+  end
+
+  def coerce(other)
+    if scala?(other)
+      other = new(*[other]*2)
+    else
+      raise "Unknown class #{other.class}: #{other}"
+    end
+    [other, self]
+  end
+
+  def +(other)
+    other = ensure_coerced(other)
+    new(@begin + other.begin, @end + other.end)
+  end
+
+  def -(other)
+    other = ensure_coerced(other)
+    new(@begin - other.end, @end - other.begin)
+  end
+
+  def *(other)
+    other = ensure_coerced(other)
+    mul = values.product(other.values).map{_1.inject(:*)}
+    raise "got a NaN; I don't know what to do" if mul.any?{|x| x.respond_to?(:nan?) && x.nan?}
+    new(*mul.minmax)
+  end
+
+  def /(other)
+    self * ensure_coerced(other).invert
+  end
+
+  def <=>(other)
+    other = ensure_coerced(other)
+    return 0 if @begin == @end && @begin == other.begin && @begin == other.end
+    return 1 if @begin > other.end
+    return -1 if @end < other.begin
+    nil
+  end
+
+  def <=(other)
+    other = ensure_coerced(other)
+    @end <= other.begin
+  end
+
+  def >=(other)
+    other = ensure_coerced(other)
+    @begin >= other.end
+  end
+
+  def comparable?(other)
+    other = ensure_coerced(other) rescue (return false)
+    !!(self <=> other) || @end == other.begin || @begin == other.end
+  end
+
+  def round(n)
+    new(*[self.begin,self.end].map{_1.round(n)}).round_median(n)
+  end
+
+  def with_error(e) = self * self.class.error(e)
+  def with_error_percent(e) = with_error(e * 0.01)
+
+  def to_s = "(#{self.begin}..#{self.end})"
+  def inspect = self.class.name + to_s.sub('..', "..(#{median})..")
+end
+
+def Int(...) = Int.new(...)
+
+if $0 == __FILE__
+  x, y = Int(1, 2), Int(2, 3)
+  pp(x:, y:)
+
+  pp [x == y, x != y]
+  pp [x >= y, x <= y]
+  pp [y >= x, y <= x]
+  pp [x.comparable?(y), y.comparable?(x)]
+
+  z = Int(1.1, 1.4)
+  pp z
+  pp [x.comparable?(z), z.comparable?(x)]
+  pp z.comparable?(:foo)
+  pp z.round(1)
+  pp Int.error(0.2)
+
+  pp [x.with_error(0.01), x.with_error_percent(1)].map{_1.round(2)}
+
+  pp [z / 2, z / z].map{_1.round(2)}
+
+  i = Int(0, 1.2)
+  j = Int(-1.2, 0)
+  pp [x/i, x/j]
+  ji = j.send(:invert)
+  pp ji
+  pp [i, ji]
+  #pp i*ji
+  #pp i/j
+  #pp j/i
+end

data/sig/int.rbs

@@ -0,0 +1,4 @@
+class Int
+  VERSION: String
+  # See the writing guide of rbs: https://github.com/ruby/rbs#guides
+end

metadata

@@ -0,0 +1,105 @@
+--- !ruby/object:Gem::Specification
+name: int
+version: !ruby/object:Gem::Version
+  version: 0.0.1.interval
+platform: ruby
+authors:
+- Tadashi Saito
+autorequire:
+bindir: bin
+cert_chain: []
+date: 2024-01-18 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: test-unit
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: debug
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+- !ruby/object:Gem::Dependency
+  name: steep
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description:
+email:
+- tad.a.digger@gmail.com
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- README.md
+- Rakefile
+- lib/int.rb
+- lib/int/version.rb
+- sig/int.rbs
+homepage: https://github.com/tadd/int
+licenses: []
+metadata:
+  homepage_uri: https://github.com/tadd/int
+  source_code_uri: https://github.com/tadd/int
+post_install_message:
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.5.4
+signing_key:
+specification_version: 4
+summary: Interval-arithmetic-ish library with a terrible name.
+test_files: []