rangeary 1.0.1 → 2.0

data/test/test_rangeary.rb

@@ -1,52 +1,27 @@
 # -*- encoding: utf-8 -*-
 
+require 'tempfile'
+require_relative "tee_io.rb"  # Library to suppress STDERR/STDOUT <https://gist.github.com/masasakano/789030a7dc5313bd343b2de967a93200>
+
 $stdout.sync=true
 $stderr.sync=true
-# print '$LOAD_PATH=';p $LOAD_PATH
-arlibrelpath = []
+print "$LOAD_PATH=#{$LOAD_PATH}" if $DEBUG
 arlibbase = %w(rangeary)
 
-arlibbase.each do |elibbase|
-  #elibbase
-
-  arAllPaths = []
-  er=nil
-  pathnow = nil
-  (['../lib/', 'lib/', ''].map{|i| i+elibbase+'/'} + ['']).each do |dir|
-    # eg., pathcand = %w(../lib/rangesmaller/ lib/rangesmaller/ rangesmaller/) + ['']
-    begin
-      s = dir+File.basename(elibbase)
-      arAllPaths.push(s)
-#print "Trying: "; puts s
-      require s
-      pathnow = s
-      break
-    rescue LoadError => er
-    end
-  end	# (['../lib/', 'lib/', ''].map{|i| i+elibbase+'/'} + '').each do |dir|
-
-  if pathnow.nil?
-    warn "Warning: All the attempts to load the following files have failed.  Abort..."
-    warn arAllPaths.inspect
-    warn " NOTE: It may be because a require statement in that file failed, 
-rather than requiring the file itself.
- Check with  % ruby -r#{File.basename(elibbase)} -e p
- or maybe add  env RUBYLIB=$RUBYLIB:`pwd`"
-    # p $LOADED_FEATURES.grep(/#{Regexp.quote(File.basename(elibbase)+'.rb')}$/)
-    raise er
-  else
-#print pathnow," is loaded!\n"
-    arlibrelpath.push pathnow
-  end
+arlibrelbase = arlibbase.map{|i| "../lib/"+i}
+
+arlibrelbase.each do |elibbase|
+  require_relative elibbase
 end	# arlibbase.each do |elibbase|
 
-print "NOTE: Library relative paths: "; p arlibrelpath
-print "NOTE: Library full paths:\n"
-arlibbase.each do |elibbase|
-  p $LOADED_FEATURES.grep(/#{Regexp.quote(File.basename(elibbase)+'.rb')}$/)
+print "NOTE: Library relative paths: "; p arlibrelbase
+arlibbase4full = arlibbase.map{|i| i.sub(%r@^(../)+@, "")}+%w(range_extd)
+puts  "NOTE: Library full paths for #{arlibbase4full.inspect}: "
+arlibbase4full.each do |elibbase|
+  ar = $LOADED_FEATURES.grep(/(^|\/)#{Regexp.quote(File.basename(elibbase))}(\.rb)?$/).uniq
+  print elibbase+": " if ar.empty?; p ar
 end
 
-
 #################################################
 # Unit Test
 #################################################
@@ -172,18 +147,18 @@ end
 
     def test__get_infinities
       rn = Rangeary.new
-      hs = rn.instance_eval{_get_infinities [(77..78)], guess_strict: false}
+      hs = rn.instance_eval{_build_infinities({}, [(77..78)])}
       assert_equal(-InfF, hs[:negative])
       assert_equal( InfF, hs[:positive])
-      hs = rn.instance_eval{_get_infinities [(77...InfF)], guess_strict: false}
+      hs = rn.instance_eval{_build_infinities({}, [(77...InfF)])}
       assert_equal(-InfF, hs[:negative])
       assert_equal( InfF, hs[:positive])
-      hs = rn.instance_eval{_get_infinities [(-InfF..78)], guess_strict: false}
+      hs = rn.instance_eval{_build_infinities({}, [(-InfF..78)])}
       assert_equal(-InfF, hs[:negative])
       assert_equal( InfF, hs[:positive])
-      hs = rn.instance_eval{_get_infinities [(77...InfF)], guess_strict: true}
-      assert_nil  hs[:negative]
-      assert_equal( InfF, hs[:positive])
+      #hs = rn.instance_eval{_get_infinities [(77...InfF)], guess_strict: true}
+      #assert_equal false, hs[:negative]
+      #assert_equal( InfF, hs[:positive])
     end
 
     def test_comparable_end
@@ -191,9 +166,48 @@ end
       assert_equal InfF, Rangeary.comparable_end(0...Float::INFINITY)
       assert_nil         Rangeary.comparable_end(RangeExtd::NONE)
       _ = nil..nil  rescue return  # nil..nil may raise Exception in some Ruby versions
-      assert_nil         Rangeary.comparable_end(nil..nil)
-      _ = nil...nil rescue return  # nil..nil may raise Exception in some Ruby versions
-      assert_nil         Rangeary.comparable_end(nil...nil)
+      #assert_nil         Rangeary.comparable_end(nil..nil)  # Ruby-2.6
+      assert_equal InfP, Rangeary.comparable_end(nil..nil)
+      assert_equal InfP, Rangeary.comparable_end(nil...nil)
+    end
+
+    # Since Ruby-2.7
+    def test_comparable_beginend
+      assert_raises(RangeError){Rangeary.comparable_beginend(RangeExtd::Nowhere::NOWHERE..RangeExtd::Nowhere::NOWHERE) }	# ! Range#valid?
+      assert_raises(RangeError){Rangeary.comparable_beginend(?a...?a) }	# because !Range#valid?
+      assert_equal RaE(5...9),        Rangeary.comparable_beginend(5...9)
+      assert_equal RaE(?a..?b, true), Rangeary.comparable_beginend(RaE(?a, ?b, true))
+      assert_equal RaE(?a..?b, true), Rangeary.comparable_beginend(RaE(?a, ?b, true))
+      assert_equal RaE(InfN...InfP),  Rangeary.comparable_beginend(...nil)
+      assert_equal RaE(-InfF...9.3, T), Rangeary.comparable_beginend(RaE(...9.3, true))
+      assert_equal RaE(9.3..InfF),  Rangeary.comparable_beginend(9.3..)
+      assert_equal RaE(?a...InfP),  Rangeary.comparable_beginend(?a...)
+
+      # infinities are given.
+      hsinf = {negative: ?a, positive: ?z}
+      assert_equal RangeExtd(?b...?z),   Rangeary.comparable_beginend(?b..., infinities: hsinf)
+      assert_equal RangeExtd(?a..?d, T), Rangeary.comparable_beginend(RaE(..?d, T), infinities: hsinf)
+      ran = RaE(?c.., T)
+      hsinf = {positive: InfP}
+      assert_equal RaE(?c..InfP, T),     Rangeary.comparable_beginend(ran, infinities: hsinf)
+      assert_equal RaE(?c..InfP, T),     Rangeary.comparable_beginend(ran, infinities: {positive: nil}), "nil in infinities should be ignored in Rangeary.comparable_beginend()"
+
+      # instance-method version
+      hsinf = {negative: ?a, positive: ?z}
+      ran = RaE(..?d, T)
+      assert_raises(ArgumentError){ Rangeary(ran, **hsinf) }  # raise: specified/inherited negative infinity ("a") is not small enough or inconsistent: (<=> nil)
+      ran = RaE(?a..?d, T)
+      rangy = Rangeary(ran, **hsinf)
+      assert_equal RaE(?a..?d, T), rangy.send(:_comparable_beginend, ran)
+
+      ran = RaE(?c.., T)
+      assert_raises(ArgumentError){ Rangeary(ran, **hsinf) }  # raise: specified/inherited negative infinity ("z") is not large enough or inconsistent: (<=> nil)
+      rangy = Rangeary(ran)
+      assert_equal RaE(?c..InfP, T), rangy.send(:_comparable_beginend, ran)
+
+      ran = RaE(?c..?z, T)
+      rangy = Rangeary(ran, **hsinf)
+      assert_equal ran,              rangy.send(:_comparable_beginend, ran)
     end
 
     def test_sort_ranges
@@ -212,6 +226,15 @@ end
       # Ruby 2.6 Endless Range
       assert_equal [(5..9),   (5...nil),  (5..nil)],  Rangeary.sort_ranges((5..nil),  (5...nil),  (5..9))
       assert_equal [(?a..?d), (?a...nil), (?a..nil)], Rangeary.sort_ranges((?a..nil), (?a...nil), (?a..?d))
+
+      # Ruby 2.7 Beginless Range
+      ran = RangeExtd(nil...5, T)
+      assert_equal [(nil..5),  ran, (1..5)  ], Rangeary.sort_ranges((1..5),   ran,  (..5))
+      ran = RangeExtd(nil...?d, T)
+      assert_equal [(nil..?d), ran, (?b..?d)], Rangeary.sort_ranges(ran, (?b..?d), (..?d))
+      assert_equal [(nil..?d), ran, (?b..?d)], Rangeary.sort_ranges(ran, (?b..?d), (..?d))
+      ran = RangeExtd(..9, T)
+      assert_equal RangeExtd::NONE,  Rangeary.sort_ranges(RaA, ran, RaN)[0]
     end	# def test_sort_ranges
 
     def test_new
@@ -222,9 +245,28 @@ end
 
       assert_raises(NoMethodError){ Rangeary.new(3..5).reverse }	# => undefined method `reverse' for <Rangeary:[3..5]>:Rangeary
       assert_raises(RuntimeError){  Rangeary.new(3..5).reverse! }	# => can't modify frozen Rangeary
-      assert_raises(ArgumentError){ Rangeary.new(3..5, nil..nil) }	# => invalid parameter for RangeExtd, hence for Rangeary (nil..nil).
+      #assert_raises(ArgumentError){ Rangeary.new(3..5, nil..nil) }	# => invalid parameter for RangeExtd, hence for Rangeary (nil..nil).
+      assert_equal([..nil], Rangeary.new(3..5, RangeExtd::NONE, RangeExtd::NONE, nil..nil).to_a)	# nil..nil used to be an invalid parameter for RangeExtd, hence for Rangeary, too, before Ruby-2.7 (or 2.6?).
+      ran  = [..6, 9..InfF]
+      rang = Rangeary(*ran)
+      hsinf = {negative: nil, positive: InfF}
+      assert_equal ran, rang
+      assert_equal hsinf, rang.infinities  # Hash == HashInf
+
+      rang2 = Rangeary(11..13, Rangeary(*rang), 15..16)
+      assert_equal ran, rang2
+      assert_equal hsinf, rang2.infinities
+
+      assert_raises(ArgumentError, "this should fail because whereas the guessed positive infinity from the first one is Float:INFINITY, the second given infinity is +RangeExtd::Infinity::POSITIVE+, which is not comparable with +Float:INFINITY+ (although it is comparable with general Float)."
+                   ){ Rangeary(..6, 9..InfP) }	# => "comparison of Float with RangeExtd::Infinity failed"
       assert_raises(ArgumentError){ Rangeary.new(3..5, 3..1) }	# => invalid parameter for RangeExtd
       assert_raises(ArgumentError){ Rangeary.new(3..5, 4...4) }	# => invalid parameter for RangeExtd
+      assert_raises(ArgumentError){ Rangeary(?d..?f, negative: ?a, positive: ?b) }	# => negative-infinity is larger than ?d
+      assert_raises(ArgumentError){ Rangeary(?d..?f, negative: ?e, positive: ?z) }	# => negative-infinity is larger than ?d
+      assert_raises(ArgumentError){   Rangeary(?b..?d, ?f...?h, ?g...?j, negative: ?b, positive: ?i) }
+      assert_equal [?b..?d, ?f...?j], Rangeary(?b..?d, ?f...?h, ?g...?j, negative: ?b, positive: ?j).to_a
+      assert_raises(ArgumentError){ Rangeary(RangeExtd::NONE, negative: ?c, positive: ?a) }  # negative is smaller than positive infinities
+      assert_raises(ArgumentError){ Rangeary(?a..?d, negative: -InfF) }  # contradictory infinities.
     end	# def test_new
 
     def test_new_infinity
@@ -243,10 +285,129 @@ end
       r5 = RangeExtd(?c, InfP, T)
       assert_equal [RangeExtd::ALL], Rangeary(r4,r5).to_a
 
+      r6 = Rangeary(InfF..InfF)
+      assert_equal [RangeExtd::NONE], r6  # Strange zero-sized one, handled by _replace_inf_inf(arin)  # Note that irb displays [RangeExtd::NONE] as [nil...nil]
+      assert  r6.infinities.status_is_nil?(:positive), "confidence of the infinities of the meaningless Range should be nil: infinities=#{r6.infinities.inspect}"
+      assert  r6.infinities.status_is_nil?(:negative)
+      assert_equal false, r6.infinities[:positive]
+      assert_equal false, r6.infinities[:negative]
+
       assert_equal [r1], Rangeary(r1,(-InfF..-InfF))
-      assert_equal [r1], Rangeary(r1,(InfF..InfF))
+      assert_equal [r1], Rangeary(r1,( InfF..InfF))
+
+      r11 = Rangeary(?f..)
+      err = assert_raises(ArgumentError){ Rangeary(r11,  positive: ?t) }
+      assert_match(/positive .+ not large enough or inconsistent\b/, err.message) # (_validate_infinities) => specified positive infinities ("t") are not small enough or inconsistent: (<=> nil)
+      assert_raises(ArgumentError){ Rangeary(?f.., positive: ?t) }
+      assert_raises(ArgumentError){ Rangeary(..?f, negative: ?a) }
+      assert_raises(ArgumentError){ Rangeary(3..,       positive: 99) }
+      assert_raises(ArgumentError){ Rangeary(3..InfF,   positive: 99) }
+      assert_raises(ArgumentError){ Rangeary(-InfF..99, negative: -6) }
+      r12 = Rangeary(-InfF..99, negative: InfN, positive: InfP)
+      assert_equal InfP, r12.infinities[:positive]
+      assert             r12.infinities.definite? :negative
+
+      ## The following used to be the case?
+      #err = assert_raises(ArgumentError){ Rangeary(r1,(InfF..InfF)) }
+      #assert_match(/not small enough or inconsistent\b/, err.message) # (_validate_infinities) => specified negative infinities (Infinity) are not small enough or inconsistent.
     end	# def test_new_infinity
 
+    def test_new_infinity2
+      ## doc inside the code (Rangeary#initialize)
+      ran2 = ("f".."k")
+      rae1 = RaE("k"..nil, true)
+      r3 = ~(Rangeary(ran2, negative: "d"))
+      assert_equal Rangeary("d"..."f", rae1), r3
+      assert_equal "d", r3.infinities[:negative]
+      r4 =   Rangeary(r3, negative: "a")
+      assert_equal "b", Rangeary(r4, negative: "b").infinities[:negative]
+      r5 =  ~Rangeary(r4)
+      assert_equal Rangeary("a"..."d", "f".."k"), r5
+
+      r6 = r3 + Rangeary("c".."d", negative: "a")
+      assert_equal Rangeary("c"..."f", rae1), r6
+
+      assert_equal r3, r3*(..nil), "conjunction with (..nil) should never raise an Exception, because nil has a lower priority than other infinities."
+
+      r7 = nil
+      ################# puts "\nNOTE: A warning is suppressed during this testing. To display it, set DISPLAY_STDERR=1" if !ENV['DISPLAY_STDERR'] || ENV['DISPLAY_STDERR'].empty?   ### This statement is removed because there are no warnings displayed in the end!
+     #TeeIO.suppress_io{|iorw|
+      r7 = r3*Rangeary("c".."d", negative: "a")
+      #iorw.rewind
+      #assert_match(/Inconsistent negative infinities are found\b/, iorw.read)  # util.rb: _validate_select_infinities()
+     #}
+      assert_equal Rangeary("d".."d"), r7
+      assert_equal "a", r7.infinities[:negative]
+      r8 = (r3 ^ (?e..?h))
+      assert_equal Rangeary("d"..."e", "f".."h", rae1), r8
+    end # def test_new_infinity2
+
+    def test_user_infinity
+      # @infinities are inherited but maybe partially overwritten in initialization
+      ray1 = Rangeary(?h...?m, negative: ?a, positive: ?z)
+      assert_equal [?a...?h, ?m..?z], ~ray1
+      assert_equal [?b...?h, ?m..?z], ~Rangeary(ray1, negative: ?b)
+      assert_equal [?a...?h, ?m..?y], ~Rangeary(ray1, positive: ?y)
+      assert_equal [?b...?h, ?m..?y], ~Rangeary(ray1, negative: ?b, positive: ?y)
+      ray3 = ray1 + Rangeary(?i..?j, positive: "k")
+      assert_equal [?h...?m], ray3
+      assert_equal({positive: ?z, negative: ?a}, ray3.infinities)  # Hash-extended-with-HashInf
+      assert_equal({positive: ?z, negative: ?a}, ray3.infinities(convert: false))  # Hash == Hash
+      assert  ray3.infinities.definite?(:positive)
+      assert  ray3.infinities.definite?(:negative)
+      ray4 = Rangeary(ray3, positive: ?m)
+      assert_equal ?m, ray4.infinities[:positive]
+      assert           ray4.infinities.definite?(:positive)
+      err = assert_raises(ArgumentError){ ray4 + [?m..?t] } # specified/inherited positive infinity ("k") is not large enough or inconsistent: (<=> "m")
+      assert_match(%r@specified/inherited positive infinit.+"m".+\bnot large enough\b.+"t"@, err.message) # specified/inherited positive infinity ("m") is not large enough or inconsistent: (<=> "t")
+    end
+
+    def test_custom_infinity1
+      infend = "w"
+      def infend.infinite?
+        true
+      end
+      assert  infend.infinite?
+
+      rang = Rangeary(?d..infend)
+      hsinf = {negative: nil, positive: "w"}
+      assert_equal hsinf, rang.infinities  # Hash == HashInf
+      assert_equal [...?d], ~rang
+      rang = Rangeary(Rangeary(?a...?b), ?b...?c, ?d..infend, ?f..?j)
+      assert_equal hsinf, rang.infinities
+      assert_equal [?a...?c, ?d..infend], rang
+
+      # If (?f..?z) is given, which contradicts the positive infinity "w",
+      #   what will happen?
+      err = assert_raises(ArgumentError, "specifying a positive infinity, InfP, as a negative infinity should raises an Exception."){
+        Rangeary(?b...?c, ?d..infend, Rangeary(?f..?z, negative: InfP)) } # 'specified/inherited negative infinity (INFINITY) is not small enough or inconsistent: (<=> "f")'; b/c 
+      assert_match(%r@negative infinity\b.+ is not small enough@, err.message)
+      r3 = Rangeary(?b...?c, ?d..infend)
+      assert_equal hsinf,  r3.infinities
+      assert               r3.infinities.definite?(:positive)
+      r4 = Rangeary(?b...?c, ?d..infend, Rangeary(?f..?z, positive: InfP))
+      hsinf4 = hsinf.merge({positive: InfP})
+      assert_equal hsinf4, r4.infinities
+      assert               r4.infinities.definite?(:positive)
+    end
+
+    def test_custom_infinity2
+      infend = "w"
+      def infend.infinite?
+        true
+      end
+      hsinf = {negative: nil, positive: "w"}
+
+      ra1 = Rangeary(?b...?c, ?d..infend)
+      ra2 = Rangeary(ra1, positive: InfP)
+      assert_equal hsinf.merge({positive: InfP}), ra2.infinities  # Hash == HashInf
+      assert_equal [?b..?z],  Rangeary(ra2, ?c..?z)
+
+      rang = Rangeary(?b...?c, ?d..infend, Rangeary(?f..?w, negative: InfN))
+      assert_equal hsinf.merge({negative: InfN}), rang.infinities
+      assert_equal [?b...?c, ?d..infend], rang
+    end
+
     def test_endless_range
       begin
         _ = 7..nil
@@ -260,6 +421,27 @@ end
       assert_equal [2...nil], Rangeary(8...nil, 2...4, 4..9)
     end
 
+    def test_beginless_range
+      # This would raise Syntax Error in earlier versions (2.6 or earlier?) of Ruby
+      assert_equal [(-Float::INFINITY)...9], Rangeary((-Float::INFINITY)..7, 3...9).to_a
+      assert_equal [nil..8],  Rangeary(2..8, RaE(nil..3)).to_a
+      assert_equal [nil..8],  Rangeary(2..8, nil..3).to_a
+      assert_equal [nil...9], Rangeary(nil...8, ...9, 4...9).to_a
+      assert_equal [nil..9],  Rangeary(nil...8, ...9, 4..9).to_a
+      assert_equal [nil...9], Rangeary(nil...8, 2...4, 4...9).to_a
+      assert_equal [nil...9], Rangeary(         2...4, 4...9, nil...8)
+      assert_equal [nil...8], Rangeary(nil...8, 2...4, nil..7)
+      assert_equal [nil...],                   Rangeary(    8..., nil...8)
+      assert_equal [nil...8,    10...],        Rangeary(   10..., nil...8)
+      assert_equal [nil...8, RaE(8.., true)],  Rangeary(RaE(8.., true), nil...8)
+
+      ran = Rangeary(...8, RaE(8.., true))
+      assert_raises(RangeError ){                          ran.last.last }
+      assert_raises(RangeError, "for RAN=#{ran.inspect}"){ ran.last_element }
+      assert_nil                 ran.last.end
+      assert_raises(RangeError, "for RAN=#{ran.inspect}"){ ran.last_element }
+    end
+
     def test_new_none	# Essentially, the tests of compact()
       ra = Rangeary(RangeExtd::NONE, RangeExtd::NONE, RangeExtd::NONE)
       assert_equal 1, ra.size
@@ -317,10 +499,14 @@ end
       assert_equal RaA, RaA + RaN
       assert_equal RaA, RaN + RaA
 
-      # Eendless Range since Ruby 2.6
+      # Endless Range since Ruby 2.6
       _ = 7..nil rescue return # before Ruby 2.6
       assert_equal [-6..-1, 2..5, 8...nil], rs+(8...nil)
       assert_equal [-6..-1, 2..5, 8..nil],  Rangeary(8..nil)+rs
+
+      # Begindless Range since Ruby 2.7
+      assert_equal [..-1, 2..5, 8..8],  rs+(...(-6))
+      assert_equal [..-1, 2..5, 8..8],  Rangeary(..(-6))+rs
     end	# def test_disjunction
 
     def test_minus
@@ -359,10 +545,18 @@ end
       _ = 7..nil rescue return # before Ruby 2.6
       assert_equal [-6..-1, 2...4], rs-(4...nil)
       rr = Rangeary(6..nil)
+      assert       rr.infinities.definite?(:positive)
+      assert_nil   rr.infinities[:positive]
+      r2 = rr-(6...8)
+      assert_nil   r2.infinities[:positive], "positive should be nil with :definite: "+r2.infinities.inspect
+      assert_nil   r2.infinities[:positive]
       assert_equal [8..nil],  rr-(6...8)
       assert_equal [6...7],   rr-(7...nil)
       rr = Rangeary(6..9, 8..nil)
       assert_equal [8..nil],  rr-(6...8)
+
+      # Begindless Range since Ruby 2.7
+      assert_equal [3..5, 8..9], rs-(...3)
     end	# def test_minus
 
     # Array#equal overwritten.
@@ -384,14 +578,18 @@ end
       refute_equal rany, []
       refute_equal [], rany
 
-      assert_equal rany, [4..InfF]
-      assert_equal rany, [4...InfF]
-      assert_equal [4...InfF], rany
-      assert_equal rany2, Rangeary(1..2, 4..InfF)
-      assert_equal rany2, [1..2, 4..InfF]
-      assert_equal [1..2, 4..InfF], rany2
-      assert_equal Rangeary(?a..), [?a..InfP] # This raises the uncapturable SyntaxError for Ruby 2.5 and before anyway.
-      assert_equal [?a..InfP], Rangeary(?a..)
+      ## The following used to be all true up to Rangeary Ver.1 before Ver.2
+      refute_equal rany, [4..InfF]
+      refute_equal rany, [4...InfF]
+      refute_equal [4...InfF], rany
+      refute_equal rany2, Rangeary(1..2, 4..InfF)
+      refute_equal rany2, [1..2, 4..InfF]
+      refute_equal [1..2, 4..InfF], rany2
+      refute_equal Rangeary(?a..), [?a..InfP] # This raises the uncapturable SyntaxError for Ruby 2.5 and before anyway.
+      refute_equal [?a..InfP], Rangeary(?a..)
+
+      # Ruby 2.7 Beginless Range
+      refute_equal [..?z],     Rangeary(InfN..?z)
     end
 
     def test_brackets
@@ -524,11 +722,23 @@ end
       assert          rcab.null_element?
       assert          rcab.null?
 
-      assert_equal r1,  r1 * Rangeary(RangeExtd::ALL)
-      assert_equal r1,  Rangeary(RangeExtd::ALL) * r1
+      hsinff = {negative: -InfF, positive: InfF}
+      assert_raises(ArgumentError){ r1 * Rangeary(RangeExtd::ALL) }  # Inconsistent given infinities: comparison of Float with RangeExtd::Infinity failed  # used to be fine up to Rangeary Ver.1
+      r2 = r1 * Rangeary(-inf..nil)  # Positive infinity (=Float::INFINITY) is inherited and preserved from r1
+      assert_equal r1,     r2
+      assert_equal hsinff, r2.infinities  # Hash == HashInf
+      # reverse
+      r2 = Rangeary(-inf..nil) * r1
+      assert_equal r1,     r2
+      assert_equal hsinff, r2.infinities
+
+      r4 = r1 * Rangeary(..nil)
+      assert_equal r1,     r4
+      assert_equal hsinff.merge({negative: nil}), r4.infinities
 
       assert_equal RaN, r1 * RaN
       assert_equal RaN, r1 * RaN
+      assert_equal RaN, RaA * RaN
       assert_equal RaN, RaN * r1
       assert_equal RaN, RaN * RaN
       assert_equal RaA, RaA * RaA
@@ -537,6 +747,17 @@ end
       _ = 7..nil rescue return # before Ruby 2.6
       r3 = Rangeary(1...9, 12..nil)
       assert_equal [8...9, 12...13], r3 * Rangeary(8...13)
+
+      # Begindless Range since Ruby 2.7
+      r4 = Rangeary(nil..?e, ?t..?y)
+      assert_equal [?d..?e, ?t..?t], r4 * Rangeary(?d..?t)
+
+      # preserves infinities?
+      assert_equal([nil..],  ~(RaA * RaN))
+      hsinf = {negative: ?d, positive: ?q}
+      r5 = Rangeary(?d..?g, **hsinf) * RaN
+      assert_equal hsinf, r5.infinities
+      assert_equal([hsinf[:negative]..hsinf[:positive]], ~r5)
     end	# def test_conjunctionRangeary
 
 
@@ -561,7 +782,13 @@ end
       _ = 7..nil rescue return # before Ruby 2.6
       r3 = Rangeary(9..11)
       assert_equal [8..nil],  r3 + Rangeary(8..nil)
-      assert_equal [8..InfF], r3 + Rangeary(8..nil)
+      refute_equal [8..InfF], r3 + Rangeary(8..nil)
+
+      # Begindless Range since Ruby 2.7
+      r4 = Rangeary(9..11)
+      assert_equal [nil..12],  r4 + Rangeary(nil..12)
+      assert_equal [nil..12], Rangeary(nil..12) + r4
+      assert_equal [nil..11], Rangeary(nil..9) + r4
     end
 
 
@@ -581,7 +808,8 @@ end
 
       assert_equal r1,   r1.disjunction(RaN)
       assert_equal true, r1.conjunction(RaN).null?
-      assert_equal Rangeary(RangeExtd::ALL), r1.conjunction(RaN).negation
+      #assert_equal Rangeary(RangeExtd::ALL), r1.conjunction(RaN).negation  # this used to be the case in up to Rangeary Ver.1
+      assert_equal [-InfF..InfF],      r1.conjunction(RaN).negation
       assert_equal r1,                 r1 * (r1.conjunction(RaN).negation)
       assert_equal r1,  r1 ^ RaN
       assert_equal r1,  RaN ^ r1
@@ -597,24 +825,64 @@ end
       assert_equal Rangeary(-inf...3,RangeExtd(8..inf,1)), Rangeary(3..8).negation
       assert_equal Rangeary(-inf...12, RangeExtd(12...14,T), RangeExtd(15,inf,T)), ~Rangeary(12..12, 14..15)
 
-      assert_equal Rangeary(RangeExtd::ALL), ~RaN
+      assert_equal([..nil],  ~RaN)
+      # assert_equal Rangeary(RangeExtd::ALL), ~RaN  # used to be the case up to Rangeary Ver.1
 
-      # Eendless Range since Ruby 2.6
+      # Eendless Range since Ruby 2.6 plus Beginless Range since Ruby 2.7
       _ = 7..nil rescue return # before Ruby 2.6
       assert_equal Rangeary(-InfF...8), ~Rangeary(8...nil)
       assert_equal Rangeary(-InfF..8),  ~Rangeary(RangeExtd(8..nil, exclude_begin: true))
-      assert_equal Rangeary(InfN...?a), ~Rangeary(?a..nil)
+      assert_equal Rangeary(nil...?a),  ~Rangeary(?a..nil)
+      assert_equal Rangeary(RangeExtd(7..InfF, T)), ~Rangeary(-InfF..7)
+      assert_equal Rangeary(RangeExtd(7..InfF, T)), ~Rangeary(..7)
+      assert_equal Rangeary(?c..nil),               ~Rangeary(...?c)
+      assert_equal Rangeary(RangeExtd::NONE), ~Rangeary(RangeExtd::ALL)
+      assert_equal Rangeary(RangeExtd::NONE), ~Rangeary(InfN...InfP)
+      assert_equal Rangeary(RangeExtd::NONE), ~Rangeary(..nil)
+      assert_equal Rangeary(RangeExtd::NONE), ~Rangeary(...nil)
+      assert_equal Rangeary(RangeExtd::NONE), ~Rangeary(RangeExtd(...nil, true))
+
+      assert_equal [nil..], ~Rangeary(RangeExtd::NONE)
+      assert   (~Rangeary(RangeExtd::NONE)).infinities.status_is_nil?(:positive)
+      assert  (~~Rangeary(RangeExtd::NONE)).infinities.status_is_nil?(:positive)
+      assert  (~~Rangeary(RangeExtd::NONE)).infinities.status_is_nil?(:negative)
+
+      r3 = ~Rangeary(RangeExtd(6...6, true))
+      assert_equal [-InfF..InfF], r3
+      assert  r3.infinities.guessed?(:positive), "Status should be guessed for #{r3.infinities.inspect}"
+      r4 = ~Rangeary(InfF..InfF) # meaningless Range
+      assert_equal [nil..], r4   # Because Float information is lost for the meaningless Rnage
+      assert  r4.infinities.status_is_nil?(:positive)
+      r5 = ~Rangeary(RangeExtd(?g...?g, true))
+      assert_equal [nil..], r5
+     # assert_equal RangeExtd::ALL, r5, "At the moment, (nil..)==RangeExtd::ALL (which is subject to change in the future?)"
+      assert  r5.infinities.guessed?(:positive)
+
+      assert_equal Rangeary(?a...?d, ?f..?z),   ~Rangeary(?d...?f, negative: ?a, positive: ?z)
+      assert_equal Rangeary(?d...?f),          ~~Rangeary(?d...?f, negative: ?a, positive: ?z)
+      assert_equal Rangeary(?a...?d, ?f..?z), ~~~Rangeary(?d...?f, negative: ?a, positive: ?z)
+
+      r2  =  Rangeary(6...8)
+      r2n = ~r2
+      assert       r2.infinities.status_is_a?(:guessed, :positive)
+      assert       r2.infinities.guessed?(:positive)
+      refute      r2n.infinities.definite?(:positive)
+      assert      r2n.infinities.guessed?(:positive), "Negated Range without an explicit infinity should have a status of :guessed"
     end	# def test_negation
 
 
     def test_posinega
       inf = RangeExtd::Infinity::POSITIVE
       assert_equal Rangeary(?a...?d, ?x..?z),  ~Rangeary(?d...?x, :negative => ?a, :positive => ?z)
-      assert_equal Rangeary(?a...?d, ?x..inf), ~Rangeary(?d...?x, :negative => ?a) 
+      assert_equal Rangeary(?a...?d, ?x..nil), ~Rangeary(?d...?x, :negative => ?a) 
       assert_raises(ArgumentError){ Rangeary(?t..?z,  :negative => -Float::INFINITY) }
-      assert_raises(ArgumentError){ Rangeary(1...8.5, :negative => ?a) }
-                                _ = Rangeary(1...8.5, :positive => inf)	# => No error.
+      #TeeIO.suppress_io{|iorw|  # Inconsistent negative infinities are found: ["a", -Infinity] (=> a is used)
+        assert_raises(ArgumentError){ Rangeary(1...8.5, :negative => ?a) }
+      #}
+      assert_raises(ArgumentError){ Rangeary(1...8.5, negative: InfP, positive: -InfF) }
+      assert_raises(ArgumentError){ Rangeary(1...8.5, positive: inf) }
 
+      ra = rb = rc = rd = re = rf = rg = nil
       ra = Rangeary(?d...?f,      :negative => ?a)
       rb = Rangeary(?g..?h, ?j...?m)
       rc = ra + rb
@@ -622,16 +890,32 @@ end
       re = Rangeary(?e...?k, :positive => ?z)
       rf = rd & re
       rg = re & rd
+
       assert_equal   ?a, ra.infinities[:negative]
-      assert_equal  inf, ra.infinities[:positive]
+      assert_nil         ra.infinities[:positive]
       assert_equal   ?a, rc.infinities[:negative]
-      assert_equal  inf, rc.infinities[:positive]
+      assert_nil         rc.infinities[:positive]
       assert_equal   ?a, rd.infinities[:negative]
-      assert_equal  inf, rd.infinities[:positive]
+      assert_nil         rd.infinities[:positive]
       assert_equal   ?a, rf.infinities[:negative]
       assert_equal   ?z, rf.infinities[:positive]
       assert_equal   ?a, rg.infinities[:negative]
       assert_equal   ?z, rg.infinities[:positive]
+
+      # Demonstrations of how to change infinities.
+      rn = Rangeary(5...9, negative: 1, positive: nil)  # Without positive, it becomes +Infinity
+      ran1 = Rangeary(1...5, 9..)
+      rn_inv = ~rn
+      assert_equal ran1, rn_inv
+
+      # The way to change only the infinity; basically, just Rangeary.new is suffice
+      # because the option has always the priority.
+      ri = Rangeary(rn_inv, negative: -InfF)
+      hsinf = {:negative=>-InfF, :positive=>nil}
+      assert_equal hsinf, ri.infinities  # Hash == HashInf
+      ran2 = Rangeary(-InfF...1, 5...9)
+      ri_inv = ~ri
+      assert_equal ran2, ri_inv
     end	# def test_posinega
 
 
@@ -709,6 +993,14 @@ end
     end	# def test_hash
 
 
+    def test_flatten_no_rangeary
+      assert_equal [RaN],      Rangeary.flatten_no_rangeary(RaN)
+      assert_equal [RaN, RaN], Rangeary.flatten_no_rangeary(RaN, RaN)
+      assert_equal [RaN, RaN], Rangeary.flatten_no_rangeary([[RaN, RaN]])
+      rang = Rangeary(1..2, 5...6)
+      assert_equal [RaN, (2..4), RaN, RaE(5..9), rang], Rangeary.flatten_no_rangeary([[RaN, (2..4), RaN], [[RaE(5..9)], rang]])
+    end
+
     def test_in_document
       assert  Rangeary(RangeExtd(1,"<...",4), 5...8).equiv?(Rangeary(2..3, 5..7))      # => true
       assert_equal 33, Rangeary(2...4, 5..6, 8..9).flatten_element.reduce(:+)   # => 33
@@ -765,15 +1057,44 @@ end
 
       assert_equal 2, Rangeary(1..3, 5..8).size          # => 2
       assert_equal 7, Rangeary(1..3, 5..8).size_element  # => 7
-    end	# def test_in_document
 
+      ### section of Infinities (main doc)
+      ran1 = nil..Float::INFINITY
+      r1 = Rangeary(ran1).conjunction( RangeExtd::NONE )
+      assert_equal RaN, r1
+      r2 = r1.negation
+      assert_equal Rangeary(ran1), r2
+      assert_equal Rangeary(ran1), ~(Rangeary(nil..Float::INFINITY) * RangeExtd::NONE)
+
+      ran2 = ("f".."k")
+      rae1 = RaE("k"..nil, true)
+      assert_equal Rangeary("d"..."f", rae1), Rangeary(ran2, negative: "d").negation
+
+      r3 =  Rangeary(ran2, negative: "d")
+      r4 = ~r3
+      assert_equal Rangeary("d"..."f", rae1), r4
+      assert_equal "d", r4.infinities[:negative]
+      assert            r4.infinities.definite?(:negative)
+      assert_nil        r4.infinities[:positive]
+      assert            r4.infinities.guessed?(:positive)
+      err = assert_raises(ArgumentError){ Rangeary(r4, positive: "t") } # => specified/inherited positive infinity ("t") is not large enough or inconsistent: (<=> nil)
+      assert_match(/not large enough or inconsistent\b/, err.message)
+      r6 =   Rangeary(r3, positive: "t")  # OK: positive infinity is set.
+      assert_equal "d", r6.infinities[:negative]
+      assert            r6.infinities.definite?(:negative)
+      r7 =  ~r6
+      assert_equal Rangeary("d"..."f", RangeExtd("k".."t", true)), r7
+      assert_equal r4[0],  r7[0]
+      refute_equal r4[1],  r7[1]
+
+      assert_equal Rangeary(-InfF...7), Rangeary(7..).negation
+      assert_equal Rangeary(7..),       Rangeary(7..).negation.negation
+      assert_equal Rangeary(...7),      Rangeary(7.., negative: nil).negation
+      assert_equal Rangeary(...7),   Rangeary(..nil).conjunction(Rangeary(7..)).negation
+      assert_equal Rangeary(...7), ~(Rangeary(..nil) * Rangeary(7..))
+
+    end	# def test_in_document
 
-    ### All false, well, and they should be.
-    # def test_equal
-    #   # Plus
-    #   assert_equal RangeExtd(1..3), RangeExtd(1...4)
-    #   assert_equal Rangeary(1..3),  Rangeary(1...4)
-    # end
 
   end	# class TestUnitFoo < MiniTest::Unit::TestCase