y_petri 2.4.4 → 2.4.6

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA1:
-  metadata.gz: c63e099442746fc3480cc52b48b42e861628a4ce
-  data.tar.gz: ca4e673252e6d4f6423de630b42c3ebaef6a1900
+  metadata.gz: 22a302201ca7709ed6061786b211385f5c1ae7a1
+  data.tar.gz: d8d30ab9b582179a79d69a541076a135a62fe32a
 SHA512:
-  metadata.gz: fa7d484e3812dc8f8cf049a07c387d62742081921995c0b60912eaa4de17c5f6fd95e5c74debd34cc1318b108aba53fc75137f837a7e3593aa205be3251618cf
-  data.tar.gz: 6db8186f8252fb678dae074bd418e430c254e458b4b63ca4953c87bf3261e948e8843abf1cbb20ec2e61ad0a7395065277e871a243605dc5ee3f214e568b287c
+  metadata.gz: 583d5b7651ac596dc211a148d630dc5949ce52e7ef302e827e4bc13315fad8394aa8314a29a3763e13a94a56b2829c1c856d02f1f5fedc21268c98bce123c88c
+  data.tar.gz: f8e18341fdc25dcb6cf99751ebc11dc3feb2b400cbb516931ff6654562dc065bd1845c8b320669abf6bab8b8811aeff63ed721d4ddd0dd4e6d3049c1f2bba941

data/lib/y_petri/net/own_state.rb

@@ -19,6 +19,7 @@ module YPetri::Net::OwnState
     return marking( pp ) if place_ids.nil?
     place_ids.map { |id| place( id ).marking }
   end
+  alias m marking
 
   # Takes an array of tS transition identifiers as an optional argument, and
   # returns the array of their firing under current net state. If no argument

data/lib/y_petri/transition/T.rb

@@ -10,8 +10,38 @@ module YPetri::Transition::Type_T
   end
 
   # Transition's action (before validation). Requires Δt as an argument.
-  # 
+  #
   def action Δt
+    # TODO: Unhelpful error occurs if the user constructs a transition
+    # like this:
+    #
+    #   T = Transition s: { A: -1, B: 2 },
+    #                  rate: -> { 0.1 }    # constant rate
+    #
+    # The user meant to construct a TS transition with constant rate and
+    # stoichiometry { A: -1, B: 2 }, but the lambda given under :rate
+    # parameter is nullary, while the stoichiometry is taken to imply that
+    # the domain consists of place 1.
+    #
+    #   T.action 5.0
+    #
+    # then causes error because it tries to supply the marking of A to
+    # the user-supplied rate closure, which is nullary.
+    #
+    # There are 2 problems with this:
+    #
+    # Firstly, if we choose to see this as the user's problem, the user
+    # supplied the Transition constructor with invalid input, but received
+    # no warning (problem 1). The user learned about the error by typing
+    # T.action 5.0, and the error message is quite unhelpful (problem 2) -
+    # it does not inform the user that the rate closure has wrong arity.
+    #
+    # We, we might deside to see this as a missing feature and make sure
+    # that in these cases, the constructor infers that the codomain is
+    # empty from the fact that the supplied rate closure is nullary. This
+    # requires additional thinking, because it is not possible to infer
+    # domain from rate lamdas with non-matching arity in general.
+    # 
     if stoichiometric? then
       rate = rate_closure.( *domain_marking )
       stoichiometry.map { |coeff| rate * coeff * Δt }

data/lib/y_petri/version.rb

@@ -1,4 +1,4 @@
 module YPetri
-  VERSION = "2.4.4"
+  VERSION = "2.4.6"
   DEBUG = false
 end

data/test/net_test.rb

@@ -80,6 +80,8 @@ describe YPetri::Net do
         @net.state.must_equal [ @p1, @p2, @p3 ].map( &:marking )
         @net.marking.must_equal [ @p1, @p2, @p3 ].map( &:marking )
         @net.marking.must_be_kind_of Array
+        # User-expected #m alias for #marking
+        @net.m.must_equal @net.marking
       end
 
       it "should have standard equipment expected of a class" do

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: y_petri
 version: !ruby/object:Gem::Version
-  version: 2.4.4
+  version: 2.4.6
 platform: ruby
 authors:
 - boris
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2016-06-23 00:00:00.000000000 Z
+date: 2016-06-24 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -130,7 +130,7 @@ files:
 - ".gitignore"
 - ACKNOWLEDGMENT.txt
 - Gemfile
-- Introduction_to_Ruby_for_YNelson_Users.pdf
+- Introduction_to_Ruby_for_YPetri_and_YNelson_Users.pdf
 - Introduction_to_YNelson_and_YPetri.pdf
 - LICENSE.txt
 - Object_model_of_YNelson_and_YPetri.pdf