bmg 0.18.12 → 0.18.13

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: f6017c8a4f02206eac582bbd66801976c7beeba0
-  data.tar.gz: 5e22c7739d0a16d79ec8a0871dfc9e4a60a4bd9d
+  metadata.gz: 0ceadf8947aa041841941225e88396cc37ff7319
+  data.tar.gz: 9c695d3305101ff4a73bcdef5e3788648e9b2d27
 SHA512:
-  metadata.gz: 6eb6a6e24b42e3b3651ea5f73d7481f3c7f22289bd8b450ec5cf5a4ab1ab07e9e63ad47c017ac3dd5d57a0c856e9c5834e2c26e4be6f7a56ece54b1045234fa4
-  data.tar.gz: 0b40fd858dbae47f1069ef1caef71357f9313a3ca0912f288f366ac65b3e32e8068cd0de4206d4822431f2156c680f5a71b18ac8dc0aee112314deb5a3435a5b
+  metadata.gz: 70db4550decd609934e1d8d643983766b5b50b9f0354b2405dfdc710b9580a885e4754c907ed5011856e905308af9647c029f0dd612657e72b45af0465eaced2
+  data.tar.gz: 5ed5e7f6d1d9baa8070112a36229e8961e4b5a531acbdac808fcf1f5c008fc91ae3ceadc5c3b4c1d0ace22ca6f861074e79b6d957498740a8fba3d5e99875068

data/lib/bmg/algebra.rb

@@ -12,6 +12,7 @@ module Bmg
     protected :_allbut
 
     def autowrap(options = {})
+      return self if self.type.identity_autowrap?(options)
       _autowrap self.type.autowrap(options), options
     end
 
@@ -20,12 +21,12 @@ module Bmg
     end
     protected :_autowrap
 
-    def autosummarize(by = [], summarization = {})
-      _autosummarize type = self.type.autosummarize(by, summarization), by, summarization
+    def autosummarize(by = [], summarization = {}, options = {})
+      _autosummarize self.type.autosummarize(by, summarization, options), by, summarization, options
     end
 
-    def _autosummarize(type, by, summarization)
-      Operator::Autosummarize.new(type, self, by, summarization)
+    def _autosummarize(type, by, summarization, options)
+      Operator::Autosummarize.new(type, self, by, summarization, options)
     end
     protected :_autosummarize
 

data/lib/bmg/operator/autosummarize.rb

@@ -11,16 +11,22 @@ module Bmg
     class Autosummarize
       include Operator::Unary
 
-      def initialize(type, operand, by, sums)
+      DEFAULT_OPTIONS = {
+        default: :same
+      }
+
+      def initialize(type, operand, by, sums, options = {})
         @type = type
         @operand = operand
         @by = by
         @sums = sums.each_with_object({}){|(k,v),h| h[k] = to_summarizer(v) }
+        @options = DEFAULT_OPTIONS.merge(options)
+        @algo = build_algo
       end
 
     protected
 
-      attr_reader :by, :sums
+      attr_reader :by, :sums, :options
 
     public
 
@@ -45,17 +51,17 @@ module Bmg
         h = {}
         @operand.each do |tuple|
           key = key(tuple)
-          h[key] ||= init(key, tuple)
-          h[key] = sum(h[key], tuple)
+          h[key] ||= @algo.init(tuple)
+          h[key] = @algo.sum(h[key], tuple)
         end
         h.each_pair do |k,v|
-          h[k] = term(v)
+          h[k] = @algo.term(v)
         end
         h.values.each(&bl)
       end
 
       def to_ast
-        [:autosummarize, operand.to_ast, by.dup, sums.dup]
+        [:autosummarize, operand.to_ast, by.dup, sums.dup, options.dup]
       end
 
     public ### for internal reasons
@@ -73,7 +79,7 @@ module Bmg
         else
           op = operand
           op = op.restrict(bottom)
-          op = op.autosummarize(by, sums)
+          op = op.autosummarize(by, sums, options)
           op = op.restrict(top)
           op
         end
@@ -87,46 +93,86 @@ module Bmg
 
     private
 
+      def build_algo
+        case default = @options[:default]
+        when :same  then Check.new(sums)
+        when :first then Trust.new(sums)
+        else
+          raise ArgumentError, "Unknown default summarizer: `#{default}`"
+        end
+      end
+
       # Returns the tuple determinant.
       def key(tuple)
         @by.map{|by| tuple[by] }
       end
 
-      # Returns the initial tuple to use for a given determinant.
-      def init(key, tuple)
-        tuple.each_with_object({}){|(k,v),h|
-          h.merge!(k => summarizer(k).init(v))
-        }
-      end
-
-      # Returns the summarizer to use for a given key.
-      def summarizer(k)
-        @sums[k] || Same.new
-      end
-
-      # Sums `tuple` on `memo`, returning the new tuple to use as memo.
-      def sum(memo, tuple)
-        tuple.each_with_object(memo.dup){|(k,v),h|
-          h.merge!(k => summarizer(k).sum(h[k], v))
-        }
-      end
-
-      # Terminates the summarization of a given tuple.
-      def term(tuple)
-        tuple.each_with_object({}){|(k,v),h|
-          h.merge!(k => summarizer(k).term(v))
-        }
-      end
-
       def to_summarizer(x)
         case x
-        when :same  then Same.new
-        when :group then DistinctList.new
+        when :same  then Same::INSTANCE
+        when :group then DistinctList::INSTANCE
         else
           x
         end
       end
 
+      class Check
+        def initialize(sums)
+          @sums = sums
+        end
+        attr_reader :sums
+
+        def summarizer(k)
+          @sums[k] ||= Same::INSTANCE
+        end
+
+        def init(tuple)
+          tuple.each_with_object({}){|(k,v),h|
+            h.merge!(k => summarizer(k).init(v))
+          }
+        end
+
+        def sum(memo, tuple)
+          tuple.each_with_object(memo.dup){|(k,v),h|
+            h.merge!(k => summarizer(k).sum(h[k], v))
+          }
+        end
+
+        def term(tuple)
+          tuple.each_with_object({}){|(k,v),h|
+            h.merge!(k => summarizer(k).term(v))
+          }
+        end
+      end # class Check
+
+      class Trust
+        def initialize(sums)
+          @sums = sums
+        end
+        attr_reader :sums
+
+        # Returns the initial tuple to use for a given determinant.
+        def init(tuple)
+          sums.each_with_object(tuple.dup){|(attribute,summarizer),new_tuple|
+            new_tuple[attribute] = summarizer.init(tuple[attribute])
+          }
+        end
+
+        # Sums `tuple` on `memo`, returning the new tuple to use as memo.
+        def sum(memo, tuple)
+          sums.each_with_object(memo.dup){|(attribute,summarizer),new_tuple|
+            new_tuple[attribute] = summarizer.sum(memo[attribute], tuple[attribute])
+          }
+        end
+
+        # Terminates the summarization of a given tuple.
+        def term(tuple)
+          sums.each_with_object(tuple.dup){|(attribute,summarizer),new_tuple|
+            new_tuple[attribute] = summarizer.term(tuple[attribute])
+          }
+        end
+      end # class Trust
+
       #
       # Summarizes by enforcing that the same dependent is observed for a given
       # determinant, returning the dependent as summarization.
@@ -138,7 +184,7 @@ module Bmg
         end
 
         def sum(v1, v2)
-          raise "Same values expected, got `#{v1}` vs. `#{v2}`" unless v1 == v2
+          raise TypeError, "Same values expected, got `#{v1}` vs. `#{v2}`" unless v1 == v2
           v1
         end
 
@@ -151,6 +197,7 @@ module Bmg
         end
         alias :to_s :inspect
 
+        INSTANCE = new
       end # class Same
 
       #
@@ -183,6 +230,7 @@ module Bmg
         end
         alias :to_s :inspect
 
+        INSTANCE = new
       end # class DistinctList
 
       #

data/lib/bmg/operator/autowrap.rb

@@ -26,6 +26,12 @@ module Bmg
         :split => "_"
       }
 
+      class << self
+        def separator(options)
+          options[:split] || DEFAULT_OPTIONS[:split]
+        end
+      end
+
       def initialize(type, operand, options = {})
         @type = type
         @operand = operand

data/lib/bmg/relation/materialized.rb

@@ -19,14 +19,14 @@ module Bmg
     public
 
       def _count
-        operand._count
+        _materialize._count
       end
 
     public
 
       def each(&bl)
-        @operand = Relation::InMemory.new(operand.type, operand.to_a) unless @operand.is_a?(Relation::InMemory)
-        @operand.each(&bl)
+        return to_enum unless block_given?
+        _materialize.each(&bl)
       end
 
       def to_ast
@@ -37,6 +37,14 @@ module Bmg
         []
       end
 
+    private
+
+      def _materialize
+        return @operand if @operand.is_a?(Relation::InMemory)
+
+        @operand = Relation::InMemory.new(operand.type, operand.to_a)
+      end
+
     end # class Materialized
   end # module Relation
 end # module Bmg

data/lib/bmg/type.rb

@@ -103,8 +103,15 @@ module Bmg
       }
     end
 
+    def identity_autowrap?(options)
+      return false unless knows_attrlist?
+
+      sep = Operator::Autowrap.separator(options)
+      self.attrlist.all?{|a| a.to_s.index(sep).nil? }
+    end
+
     def autowrap(options)
-      sep = options[:split] || Operator::Autowrap::DEFAULT_OPTIONS[:split]
+      sep = Operator::Autowrap.separator(options)
       splitter = ->(a){ a.to_s.split(sep).first }
       is_split = ->(a){ a.to_s.split(sep).size > 1 }
       dup.tap{|x|
@@ -115,7 +122,7 @@ module Bmg
       }
     end
 
-    def autosummarize(by, summarization)
+    def autosummarize(by, summarization, options)
       known_attributes!(by + summarization.keys) if typechecked? && knows_attrlist?
       dup.tap{|x|
         x.attrlist = nil

data/lib/bmg/version.rb

@@ -2,7 +2,7 @@ module Bmg
   module Version
     MAJOR = 0
     MINOR = 18
-    TINY  = 12
+    TINY  = 13
   end
   VERSION = "#{Version::MAJOR}.#{Version::MINOR}.#{Version::TINY}"
 end

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: bmg
 version: !ruby/object:Gem::Version
-  version: 0.18.12
+  version: 0.18.13
 platform: ruby
 authors:
 - Bernard Lambeau
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2022-01-24 00:00:00.000000000 Z
+date: 2022-01-25 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: predicate