range_extd 0.3.0 → 0.4

data/README.ja.rdoc

@@ -22,6 +22,7 @@ For example, <tt>(3...3).valid?</tt>  returns false, because the element 3 is
 inclusive for the begin boundary, yet exclusive for the end boundary,
 which are contradictory to each other.  With this RangeExtd class,
 it is expressed as a valid range,
+
 * RangeExtd.new(3, 3, true,  true)   # => an empty range
 * RangeExtd.new(3, 3, false, false)  # => a single-point range (3..3)
 
@@ -31,12 +32,15 @@ so it is completely compatible with the standard Ruby.
 To express open-ended ranges is simple; you just use either of
 the two (negative and positive, or former and later) constants
 defined in the class {RangeExtd::Infinity}
+
 * RangeExtd::Infinity::NEGATIVE
 * RangeExtd::Infinity::POSITIVE
 
 They are basically the object that generalised <tt>Float::INFINITY</tt> to
 any Comparable object.  For example,
+
    ("a"..RangeExtd::Infinity::POSITIVE).each
+
 gives an infinite iterator with <tt>String#succ</tt>, starting from "a"
 (therefore, make sure to code so it breaks the iterator at one stage!).
 
@@ -64,10 +68,19 @@ I hope you find it to be useful.
 
 ==== NOTE: Relationship with Rangesmaller
 
-This package supercedes the obsolete Rangesmaller package and class,
+This package supercedes the obsolete {Rangesmaller}[https://rubygems.org/gems/rangesmaller] package and class,
 with the added open-ended feature, and a different interface in
 creating a new instance.
-{https://rubygems.org/gems/rangesmaller}
+https://rubygems.org/gems/rangesmaller
+
+==== NOTE: Relationship with Rangeary
+
+The class to handle multiple Ranges with objects of the same class
+(most typically Float),
+{Rangeary}[https://rubygems.org/gems/rangeary] uses this library to
+fullest, because the concept of potentially open-ended Range ato both
+begin and end is essential to realise Rangeary.
+https://rubygems.org/gems/rangeary
 
 
 == Install
@@ -75,19 +88,28 @@ creating a new instance.
   gem install range_extd
 
 Two files
+
   range_extd/range_extd.rb
   range_extd/infinity/infinity.rb
+
 should be installed in one of your <tt>$LOAD_PATH</tt> 
 
 Alternatively get it from
+
   http://rubygems.org/gems/range_extd
 
 Then all you need to do is
+
   require 'range_extd/range_extd'
+
 or, possibly as follows, if you manually install it
+
   require 'range_extd'
+
 in your Ruby script (or irb).  The other file
+
   range_extd/infinity/infinity.rb
+
 is called (required) from it automatically.
 
 Have fun!
@@ -126,7 +148,7 @@ defined by a user (see {RangeExtd.middle_strings=}() for detail), and is arguabl
 the most visibly recognisable way for any range with <tt>exclude_begin=true</tt>.
 
 <tt>RangeExtd.new()</tt> is the same thing.
-For more detail and examples, see {RangeExtd.new}.
+For more detail and examples, see {RangeExtd.initialize}.
 
 
 === Slightly more advanced uses
@@ -147,6 +169,7 @@ For more detail and examples, see {RangeExtd.new}.
    RangeExtd(?a, ?e, true, true).empty? # => false
    RangeExtd::NONE.is_none?             # => true
    RangeExtd::ALL.is_all?               # => true
+   (3...7).equiv?(3..6)    # => true
 
 All the methods that are in the built-in Range can be used.
 
@@ -173,7 +196,9 @@ They are the objects that generalise the concept of
 to any Comparable objects.  The methods <tt><=></tt> and <tt>succ</tt>  are defined.
 
 You can use them the same as other objects, such as,
+
   ("k"..RangeExtd::Infinity::POSITIVE)
+
 However as they do not have any other methods,
 the use out of Range-type class is probably meaningless.
 
@@ -216,9 +241,11 @@ See the document of each method for detail (some are defined only in
 * <tt>null?</tt> 
 * <tt>is_none?</tt> 
 * <tt>is_all?</tt> 
+* <tt>equiv?</tt> 
 
 There are three class methods, the first of which is equivalent 
 to the instance method <tt>valid?</tt>:
+
 * <tt>RangeExtd.valid?</tt> 
 * <tt>RangeExtd.middle_strings=(ary)</tt> 
 * <tt>RangeExtd.middle_strings</tt> 
@@ -281,20 +308,28 @@ existing code in principle.
 
 == Known bugs
 
-* <tt>hash()</tt> method does not always guarantee to return a unique
-  and exclusive number for the equal RangeExtd object, though such an
-  exception is extremely unlikely to happen in reality.
-
-Note this library does not work in Ruby 1.8 or earlier.
-For Ruby 1.9.3 it is probably all right, however I have never tested
-it.
+* As of Ruby 2.6, {Endless Range}[https://rubyreferences.github.io/rubychanges/2.6.html#endless-range-1]
+  is introduced.  As a result, Range#end sometimes raises RangeError.
+  However, this library does not yet take it into account, and it may
+  raises Exception when encountering an endless Range.
+* Note this library does not work in Ruby 1.8 or earlier.
+  For Ruby 1.9.3 it is probably all right, though I have never tested it.
+* Some unusual (rare) boundary conditions are found to vary from
+  version to version in Ruby, such as a comparison between
+  Float::INFINITY-s.  Though the test scripts are pretty extensive,
+  they have not been performed over many different versions of Ruby.
+  In some versions, some features may not work well, although such
+  occasions should be very rare.
+* {RangeExtd#hash} method does not theoretically guarantee to return a unique
+  number for a {RangeExtd} object, though to encounter a hash number that is
+  used elsewhere is extremely unlikely to happen in reality.
 
 Extensive tests have been performed, as included in the package.
 
 
 == ToDo
 
-Nothing planned.
+* Handle the Ruby-2.6 new feature {Endless Range}[https://rubyreferences.github.io/rubychanges/2.6.html#endless-range-1].
 
 
 == Final notes
@@ -359,6 +394,7 @@ Versions:: The versions of this package follow Semantic Versioning (2.0.0) http:
 しては含まれているのに対し、終点としては除外されていて、これは相互に矛
 盾しているためです。ここで導入する RangeExtdクラスにおいては、以下のよ
 うにこれが有効なレンジとして定義できます。
+
 * RangeExtd.new(3, 3, true,  true)   # => 空レンジ
 * RangeExtd.new(3, 3, false, false)  # => 一点レンジ (3..3)
 
@@ -368,12 +404,15 @@ Versions:: The versions of this package follow Semantic Versioning (2.0.0) http:
 無限に開いたレンジを表すのは簡単です。単に {RangeExtd::Infinity}クラスで
 定義されている二つの定数(無限大または無現小、あるいは無限前と無限後)の
 いずれかを用います。
+
 * RangeExtd::Infinity::NEGATIVE
 * RangeExtd::Infinity::POSITIVE
 
 これらは基本的に <tt>Float::INFINITY</tt> を全ての Comparableであるオ
 ブジェクトに一般化したものです。たとえば、
+
    ("a"..RangeExtd::Infinity::POSITIVE).each
+
 は、"a"から始まる <tt>String#succ</tt> を使った無限のイテレーターを与えます
 (だから、どこかで必ず breakするようにコードを書きましょう!)。
 
@@ -396,31 +435,48 @@ Versions:: The versions of this package follow Semantic Versioning (2.0.0) http:
 このクラスが少なからぬ人に有用なものであることを願ってここにリリースします。
 
 
-==== 注: Rangesmaller との関係
+==== 注: Rangesmallerとの関係
 
-このパッケージは、(今やサポートされていない) Rangesmaller パッケージ及びクラスを
+このパッケージは、(今やサポートされていない) {Rangesmaller}[https://rubygems.org/gems/rangesmaller] パッケージ及びクラスを
 後継するものです。同クラスの機能に、無限に開いた範囲を許す機能が加わり、また、オ
 ブジェクト生成時のインターフェースが変更されています。
-{https://rubygems.org/gems/rangesmaller}
+https://rubygems.org/gems/rangesmaller
+
+==== 注: Rangearyとの関係
+
+同クラス(典型的にはFloat)のオブジェクトからなる複数のRangeを扱うクラス
+{Rangeary}[https://rubygems.org/gems/rangeary] は、本ライブラリを使い
+切っています。Rangeを実現するためには、始端と終端との両方で開いた可能
+性があるRangeを扱うことが必須だからです。
+https://rubygems.org/gems/rangeary
 
 == インストール
 
   gem install range_extd
 
 により、ファイルが 2個、
+
   range_extd/range_extd.rb
   range_extd/infinity/infinity.rb
+
 <tt>$LOAD_PATH</tt> の一カ所にインストールされるはずです。
 
 あるいは、パッケージを以下から入手できます。
+
   http://rubygems.org/gems/range_extd
 
 後は、Ruby のコード(又は irb)から
+
   require 'range_extd/range_extd'
+
 とするだけです。もしくは、特に手でインストールした場合は、
+
   require 'range_extd'
+
 とする必要があるかも知れません。もう一方のファイル
+
   range_extd/infinity/infinity.rb
+
 は、自動的に読み込まれます。
 
 お楽しみあれ!
@@ -460,7 +516,7 @@ Versions:: The versions of this package follow Semantic Versioning (2.0.0) http:
 視覚的には最もわかりやすい方法かも知れません。
 
 <tt>RangeExtd.new()</tt> も上と同意味です。
-さらなる解説及び例は、{RangeExtd.new}を参照して下さい。
+さらなる解説及び例は、{RangeExtd.initialize}を参照して下さい。
 
 
 === 少し上級編
@@ -481,6 +537,7 @@ Versions:: The versions of this package follow Semantic Versioning (2.0.0) http:
    RangeExtd(?a, ?e, true, true).empty? # => false
    RangeExtd::NONE.is_none?             # => true
    RangeExtd::ALL.is_all?               # => true
+   (3...7).equiv?(3..6)    # => true
 
 組込Rangeに含まれる全てのメソッドが使用可能です。
 
@@ -547,9 +604,11 @@ RangeExtd のインスタンスは、 Rangeと同じくイミュータブルで
 * <tt>null?</tt> 
 * <tt>is_none?</tt> 
 * <tt>is_all?</tt> 
+* <tt>equiv?</tt> 
 
 クラスメソッドが三つあります。一番上のものは、
 インスタンスメソッドの <tt>valid?</tt> に等価です。
+
 * <tt>RangeExtd.valid?</tt> 
 * <tt>RangeExtd.middle_strings=(ary)</tt> 
 * <tt>RangeExtd.middle_strings</tt> 
@@ -606,19 +665,27 @@ RangeExtd と別の RangeExtd または Rangeの比較 (<tt><=></tt>) におい
 
 == 既知のバグ
 
-* <tt>hash()</tt> メソッドは、等しい RangeExtdオブジェに対して常に唯一で排他的な
-  数値を返すことが保証されていません。ただし、現実的にそれが破られることは、まず
-  ありません。
 
-このライブラリは Ruby 1.8 およびそれ以前のバージョンでは動作しません。
-Ruby 1.9.3 ではおそらく大丈夫でしょうが、私は試したことがありません。
+* Ruby 2.6 では、後ろに無限に開いたRange({Endless Range}[https://rubyreferences.github.io/rubychanges/2.6.html#endless-range-1])
+  が導入されました。本ライブラリでは、まだそれには対応していません。
+  したがって、Endless Rangeを本クラスに適用した場合、問題が起きるでしょう。
+* このライブラリは Ruby 1.8 およびそれ以前のバージョンでは動作しません。
+  Ruby 1.9.3 ではおそらく大丈夫でしょうが、私は試したことがありません。
+* いくつかの極めて稀な境界条件に於ける挙動は、Rubyのバージョンごとにあ
+  る程度変化しています。例えば、Float::INFINITY 同士の比較などの挙動が
+  異なります。同梱のテストスクリプトはかなり網羅的ではあるものの、Ruby
+  の多数のバージョンでテストはしておりません。したがって、バージョンに
+ よっては、(極めて稀でしょうが)問題が発生する可能性が否定できません。
+* {RangeExtd#hash} メソッドは、ある RangeExtdオブジェに対して常に唯一で排他的な
+  数値を返すことが理論保証はされていません。ただし、現実的にそれが破られることは、まず
+  ありません。
 
 パッケージに含まれている通り、網羅的なテストが実行されています。
 
 
-== 未処理事項
+== 開発項目
 
-特になし。
+* Ruby 2.6の後ろに無限に開いたRange({Endless Range}[https://rubyreferences.github.io/rubychanges/2.6.html#endless-range-1])に対応する。
 
 
 == 終わりに

data/lib/range_extd/infinity/infinity.rb

@@ -114,7 +114,9 @@ class RangeExtd < Range
     end
 
     # Class that accept to be compared with Infinity instances.
-    CLASSES_ACCEPTABLE = [self, Float, Fixnum, Bignum, Rational, Numeric, String]	# , BigFloat
+    CLASSES_ACCEPTABLE = [self, Float, Integer, Rational, Numeric, String]  # Fixnum, Bignum deprecated now.
+    # CLASSES_ACCEPTABLE = [self, Float, Fixnum, Bignum, Rational, Numeric, String]	# , BigFloat
+    CLASSES_ACCEPTABLE.push BigFloat if defined? BigFloat
 
     def infinity?
       true
@@ -128,7 +130,7 @@ class RangeExtd < Range
       !@positive 
     end
 
-    alias :cmp_before_rangeextd_infinity? :==  if ! self.method_defined?(:cmp_before_rangeextd_infinity?)	# No overwriting.
+    alias_method :cmp_before_rangeextd_infinity?, :==  if ! self.method_defined?(:cmp_before_rangeextd_infinity?)	# No overwriting.
 
     # Always -1 or 1 except for itself and the corresponding infinities (== 0).  See {#==}.
     # Or, nil (as defined by Object), if the argument is not Comparable, such as, nil and IO.
@@ -189,7 +191,7 @@ class RangeExtd < Range
       end
     end
   
-    alias :to_s :inspect
+    alias_method :to_s, :inspect
   
 
   # Overwrite [#<=>] method of the given class, if necessary,
@@ -225,7 +227,7 @@ class RangeExtd < Range
       klass = obj.class
 
       begin
-        1.0 + obj	# Use  "rescue ArgumentError"  if using "1.0<obj"
+        _ = 1.0 + obj	# Use  "rescue ArgumentError"  if using "1.0<obj"
         return nil	# No change for Numeric
       rescue TypeError
       end
@@ -250,7 +252,7 @@ class RangeExtd < Range
       # Overwrite the definition of "<=>" so that it is fliped over for Infinity.
 
       code = <<__EOF__
-  alias :compare_before_infinity :==  if ! self.method_defined?(:compare_before_infinity)
+  alias_method :compare_before_infinity, :<=> if ! self.method_defined?(:compare_before_infinity)
   def <=>(c)
     if defined?(self.<=) && RangeExtd::Infinity === c
       if defined?(self.infinity?) && defined?(self.positive?)
@@ -322,7 +324,7 @@ end	# class RangeExtd < Range
 # aware of {RangeExtd::Infinity} objects (the two constants).
 #
 class Object
-  alias :compare_obj_before_infinity :==  if ! self.method_defined?(:compare_obj_before_infinity)	# No overwriting.
+  alias_method :compare_obj_before_infinity, :<=>  if ! self.method_defined?(:compare_obj_before_infinity)	# No overwriting.
 
   # Overwrite {Object#<=>}().  Then, all its sub-classes can be
   # aware of RangeExtd::Infinity objects (the two constants).

data/lib/range_extd/range_extd.rb

@@ -30,23 +30,6 @@ end	# req_files.each do |req_file|
 # Initial set up of 2 constants in RangeExtd.
 ########################################
 
-class RangeExtd < Range
-  ## Temporary initialize() just to define the two constants.
-  def initialize(rangepart, ex_begin, ex_end)
-    @rangepart = rangepart
-    @exclude_begin = ex_begin
-    @exclude_end   = ex_end
-  end
-
-  # Two constants
-  NONE = RangeExtd.new(nil...nil, true, true)	# In Ruby1.8, this causes  ArgumentError: bad value for range (because (nil..nil) is unaccepted).
-  ALL  = RangeExtd.new(Infinity::NEGATIVE..Infinity::POSITIVE, false, false)
-
-  #NONE.freeze
-  #ALL.freeze
-end
-
-
 # =Class RangeExtd
 #
 # Authors:: Masa Sakano
@@ -127,6 +110,15 @@ class RangeExtd < Range
   # @raise [ArgumentError] particularly if the range to be created is not {#valid?}.
   def initialize(*inar, **hsopt)	# **k expression from Ruby 1.9?
 
+    if inar[4] == :Constant
+      # Special case to create two Constants
+      super(*inar[0..2])
+      @rangepart = (inar[2] ? (inar[0]...inar[1]) : (inar[0]..inar[1]))
+      @exclude_end, @exclude_begin = inar[2..3]
+      return
+    end
+
+    # [RangeBeginValue, RangeEndValue, exclude_end?, exclude_begin?]
     arout = RangeExtd.class_eval{ _get_init_args(*inar, hsopt) }	# class_eval from Ruby 1.8.7 (?)
 
     ### The following routine is obsolete.
@@ -165,6 +157,7 @@ class RangeExtd < Range
     @exclude_begin = arout.pop
     @exclude_end   = arout[-1]
     @rangepart = Range.new(*arout)
+    super(*arout)
 
   end	# def initialize(*inar)
 
@@ -326,6 +319,77 @@ class RangeExtd < Range
   alias :member? :===
 
 
+  # Return true if self and the other are equivalent; if [#to_a] is defined, it is similar to
+  #    (self.to_a == other.to_a)
+  # (though the ends are checked more rigorously), and if not, equivalent to
+  #    (self == other)
+  #
+  # @example
+  #    RangeExtd(2...7,true).equiv?(3..6)     # => true
+  #    RangeExtd(2...7,true).equiv?(3..6.0)   # => false
+  #    RangeExtd(2...7,true).equiv?(3.0..6.0) # => false
+  #    RangeExtd(2...7,true).equiv?(3..6.5)   # => false
+  #    RangeExtd(2...7,true).equiv?(RangeExtd(2.0...7.0,true))   # => true
+  #    RangeExtd(2...7,true).equiv?(3...7.0)  # => true
+  #
+  # @param other [Range, RangeExtd]
+  def equiv?(other)
+    # This routine is very similar to Range#equiv? except
+    # exclude_begin? in this object is always defined, hence
+    # a more thorough check is needed.
+
+    t_or_f = (defined?(self.begin.succ) && defined?(other.begin.succ) && defined?(other.end) && defined?(other.exclude_end?))
+    if ! t_or_f
+      return(self == other)	# succ() for begin is not defined.
+    else
+      # Checking the begins.
+      if defined?(other.exclude_begin?)
+        other_excl_beg = other.exclude_begin?
+      else
+        other_excl_beg = false
+      end
+
+      if (self.begin == other.begin)
+        if (exclude_begin? ^! other_excl_beg)
+          # Pass
+        else
+          return false
+        end
+      else
+        if (exclude_begin? ^! other_excl_beg)
+          return false
+        elsif (exclude_begin? && (self.begin.succ == other.begin)) ||
+              (other_excl_beg && (self.begin == other.begin.succ))
+          # Pass
+        else
+          return false
+        end
+      end	# if (self.begin == other.begin)	# else
+          
+      # Now, the begins agreed.  Checking the ends.
+      if (self.end == other.end)
+        if (exclude_end? ^! other.exclude_end?)
+          return true
+        else
+          return false
+        end
+      else	# if (self.end == other.end)
+        if (exclude_end? ^! other.exclude_end?)
+          return false
+          # elsif defined?(other.last) && (self.last(1) == other.last(1))	# Invalid for Ruby 1.8 or earlier	# This is not good - eg., in this case, (1..5.5).equiv?(1..5.4) would return true.
+          
+        #   return true
+        elsif (      exclude_end? && defined?(other.end.succ) && (self.end == other.end.succ)) ||
+              (other.exclude_end? && defined?( self.end.succ) && (self.end.succ == other.end))
+          return true
+        else
+          return false
+        end
+      end	# if (self.end == other.end)
+    end	# if ! t_or_f
+  end	# def equiv?(other)
+
+
   # @return [Object]
   def begin()
     @rangepart.begin()
@@ -646,6 +710,10 @@ class RangeExtd < Range
   # in the range whereas 4.8 is not in the range by definition,
   # but not the example right above.
   #
+  # @note When both ends n are the same INFINITY (of the same parity),
+  #   +(n..n).size+ used to be 0.  As of Ruby 2.6, it is FloatDomainError: NaN.
+  #   This routine follows what Ruby produces, depending on Ruby's version it is run on.
+  #
   # @see http://blade.nagaokaut.ac.jp/cgi-bin/scat.rb/ruby/ruby-list/49797 [ruby-list:49797] from matz for how {Range#size} behaves (in Japanese).
   #
   # @return [Integer]  0 if {RangeExtd::NONE}
@@ -676,7 +744,9 @@ class RangeExtd < Range
     elsif (defined?(self.begin.infinity?) && self.begin.infinity? || self.begin == -Infinity::FLOAT_INFINITY) ||
           (defined?(self.end.infinity?)   && self.end.infinity?   || self.end == Infinity::FLOAT_INFINITY)
       if self.begin == self.end
-        return 0
+        # This varies, depending on Ruby's version!  It used to be 0.  As of Ruby 2.6, it is FloatDomainError: NaN.
+        return (Float::INFINITY..Float::INFINITY).size
+        # return 0
       else
         return Infinity::FLOAT_INFINITY
       end
@@ -804,7 +874,12 @@ class RangeExtd < Range
 
       # Now, checking if the form is the String one, and if so, process it.
       arMid = @@middle_strings.map{|i| Regexp.quote(i)}	# See self.middle_strings=(ary) for description.
-      if inar.size > 2 && defined?(inar[1].=~)
+
+      # Originally, defined?(inar[1].=~) seemed enough.  But as of Ruby 2.6,
+      # Numeric has :=~ method as well!
+      if inar.size > 2 &&
+         inar[1].class.method_defined?(:=~) &&
+         inar[1].class.method_defined?(:to_str)
         begin
           cmp = (inar[0] <=> inar[2]).abs
         rescue
@@ -860,6 +935,7 @@ class RangeExtd < Range
       exclude_end   = (hsopt[:exclude_end] && true)
     end
 
+    # [RangeBeginValue, RangeEndValue, exclude_end?, exclude_begin?]
     beginend + [exclude_end, exclude_begin]
 
   end	# def self._get_init_args(*inar)
@@ -1173,6 +1249,15 @@ class RangeExtd < Range
     end
   end	# def re_min_max_core(method, *rest, &bloc)
 
+  # No range.
+  # In Ruby1.8, this causes  ArgumentError: bad value for range (because (nil..nil) is unaccepted).
+  NONE = RangeExtd.new(nil, nil, true, true, :Constant)
+  #NONE = RangeExtd.new(nil...nil, true, true, :Constant)
+
+  # Range covers everything.
+  ALL  = RangeExtd.new(Infinity::NEGATIVE, Infinity::POSITIVE, false, false, :Constant)
+  #ALL  = RangeExtd.new(Infinity::NEGATIVE..Infinity::POSITIVE, false, false, :Constant)
+
 end	# class RangeExtd < Range
 
 
@@ -1185,7 +1270,7 @@ end	# class RangeExtd < Range
 #
 class Range
 
-  alias :equal_prerangeextd? :==  if ! self.method_defined?(:equal_prerangeextd?)	# No overwriting.
+  alias_method :equal_prerangeextd?, :==  if ! self.method_defined?(:equal_prerangeextd?)	# No overwriting.
 
   # It is extended to handle {RangeExtd} objects.
   # For each element, that is, {#begin} and {#end},
@@ -1345,6 +1430,60 @@ class Range
     false
   end
 
+
+  # Return true if self and the other are equivalent; if [#to_a] is defined, it is similar to
+  #    (self.to_a == other.to_a)
+  # (though the ends are checked more rigorously), and if not, equivalent to
+  #    (self == other)
+  #
+  # @example
+  #    (3...7).equiv?(3..6)      # => true
+  #    (3...7).equiv?(3..6.0)    # => false
+  #    (3...7).equiv?(3.0..6.0)  # => false
+  #    (3...7).equiv?(3..6.5)    # => false
+  #    (3...7).equiv?(3.0...7.0) # => true
+  #    (3...7.0).equiv?(3..6)    # => true
+  #    (3...7.0).equiv?(3.0..6)  # => false
+  #
+  # @param other [Range, RangeExtd]
+  def equiv?(other)
+    t_or_f = (defined?(self.begin.succ) && defined?(other.begin.succ) && defined?(other.end) && defined?(other.exclude_end?))
+    if ! t_or_f
+      return(self == other)	# succ() for begin is not defined.
+    else
+      # Checking the begins.
+      if defined?(other.exclude_begin?) && other.exclude_begin?	# The other is RangeExtd with exclude_begin?==true.
+        if self.begin != other.begin.succ
+          return false
+        else
+          # Pass
+        end
+      elsif (self.begin != other.begin)
+        return false
+      end
+
+      # Now, the begins agreed.  Checking the ends.
+      if (self.end == other.end)
+        if (exclude_end? ^! other.exclude_end?)
+          return true
+        else
+          return false
+        end
+      else	# if (self.end == other.end)
+        if (exclude_end? ^! other.exclude_end?)
+          return false
+        elsif (      exclude_end? && defined?(other.end.succ) && (self.end == other.end.succ)) ||
+              (other.exclude_end? && defined?( self.end.succ) && (self.end.succ == other.end))
+          return true
+        else
+          return false
+        end
+      end	# if (self.end == other.end)
+    end	# if ! t_or_f
+
+  end	# def equiv?(other)
+
+
   ############## pravate methods of Range ##############
 
   private