symath 0.1.0 → 0.1.1

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: b0d95fb0b1d0166de370188a2b9346d801dadfa9034b9d3c85b34fec82258a95
-  data.tar.gz: e406bb63127befcdec892238a73f7c3597d41cfb7c6c2288b733a8dd61bc1756
+  metadata.gz: 9d903078ab94cf97187901574a014b88181b5e73abfa842a01903b62d7c9f22a
+  data.tar.gz: c2d0836540602c731aca5f7e1d105ff8bd368a0fac17e6cc0b4a5cd4803456f6
 SHA512:
-  metadata.gz: a1989761481d6fbce08bb4bbb8858a5c5562fe2ab80521360b0138a6e615c0ed7b18e097df64b44ce70ba759fb33b613f71ce1dd5772eb8c8a690c511f9930f6
-  data.tar.gz: 49b0de8326240da0aec67671fbaf457e335a13555675ca2517359e59e275ff1961ce4882f1676322677a5e26a75943b553b5c5b6ad9b095a8da400d2e15cb10e
+  metadata.gz: 18c3b80cb561ecaf389816d59f6f897373608dcc4226c6457339e36dca18bc32ea1448a0ec27d4788a221f1cfcdbcbd863b8f44c9396b2b5daa3b0a2ef3f6821
+  data.tar.gz: 3103890a22c71dcc232763990e1619d333323d789c03c7d95215144fd4a0733fb541594d0f8e51884c258a4cb2fe45ef798498651a79cd789e7218a85a387071

data/README.md

@@ -304,8 +304,15 @@ The partial derivative is available as well as 'syntactic sugar':
 
 ### Integration
 
-Integration is available as the int-operator. With one argument, the
-operator evaluates to the antiderivative of the expression:
+Integration is available as the int-operator. The algorithm is only a
+very simple one, imitating the most basic techniques of finding the
+anti-derivative, combined with a few well known equation patterns. The
+operation also has a limitation when it comes to non-commutable
+terms (matrices, quaternions, etc.). In that case, the result is not
+reliable.
+
+With one argument, the operator evaluates to the antiderivative of the
+expression:
 
 <pre>
   > int(2**:x).evaluate
@@ -527,6 +534,21 @@ that it matches the original expression:
       {a=>y**2 + 3, b=>x**2}]
 </pre>
 
+#### Match/replace operation
+
+The match_replace method tries to find an occurence of a pattern in
+the expression, and replaces it if it is found. The method can be used
+together with the iterate method. The latter repeats a method until
+there are no more changes:
+
+<pre>
+  > a = sin(sin(sin(:a + :b) - sin(:f)))
+  > a.match_replace(sin(:x), :e*:x, [:x])
+  => e*sin(sin(a + b) - sin(f))
+  > a.iterate('match_replace', sin(:x), :e*:x, [:x])
+  => e*e*(e*(a + b) - e*f)
+</pre>
+
 #### Factorization and product expansion
 
 The factorization method has been ripped from the python

data/lib/symath/operation/match.rb

@@ -102,6 +102,9 @@ module SyMath::Operation::Match
   # match is found, nil is returned. An optional boundvars hash contains a
   # map of variables to expressions which are required to match exactly.
   def match(exp, freevars, boundvars = {})
+    # Mathify free variables
+    freevars = freevars.map { |v| v.to_m }
+
     # Traverse self and exp in parallel. Match subexpressions recursively,
     # and match end nodes one by one. The two value nodes are compared for
     # equality and each argument are matched recursively.
@@ -163,4 +166,38 @@ module SyMath::Operation::Match
     raise 'Don\'t know how to compare value type ' + exp.class.to_s
     # :nocov:
   end
+
+  def match_replace(exp, replace, freevars)
+    # Recursively try to match exp to subexpressions of self. If a match
+    # is found, replace it and return.
+
+    # First try to match the top expression
+    matches = match(exp, freevars)
+    if !matches.nil? and matches.length >= 1
+      # If there are more than one match, pick the first
+      ret = replace.deep_clone
+      ret.replace(matches[0])
+      return ret
+    end
+
+    # No match at top level. Try to match sub expressions.
+    if is_a?(SyMath::Operator)
+      gotmatch = false
+
+      args2 = @args
+
+      args2.each_with_index do |a, i|
+        matched = a.match_replace(exp, replace, freevars)
+        if matched != a
+          args[i] = matched
+          ret = deep_clone
+          ret.args[i] = matched
+          return ret
+        end
+      end
+    end
+
+    # No match.
+    return self
+  end
 end

data/lib/symath/operation.rb

@@ -1,11 +1,11 @@
 module SyMath::Operation
   # Repeat method until there are no changes
-  def iterate(method)
-    ret = deep_clone.send(method)
+  def iterate(method, *args)
+    ret = deep_clone.send(method, *args)
     if ret == self
       return ret
     else
-      return ret.iterate(method)
+      return ret.iterate(method, *args)
     end
   end
 

data/lib/symath/version.rb

@@ -1,3 +1,3 @@
 module SyMath
-  VERSION = "0.1.0"
+  VERSION = "0.1.1"
 end

data/symath.gemspec

@@ -18,6 +18,7 @@ Gem::Specification.new do |spec|
     spec.metadata["allowed_push_host"] = 'https://rubygems.org'
 
     spec.metadata["source_code_uri"] = "https://github.com/erikoest/symath"
+    spec.metadata["documentation_uri"] = "https://github.com/erikoest/symath/blob/main/README.md"
 #    spec.metadata["changelog_uri"] = ""
   else
     raise "RubyGems 2.0 or newer is required to protect against " \

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: symath
 version: !ruby/object:Gem::Version
-  version: 0.1.0
+  version: 0.1.1
 platform: ruby
 authors:
 - erikoest
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2021-11-19 00:00:00.000000000 Z
+date: 2022-01-07 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -138,6 +138,7 @@ licenses:
 metadata:
   allowed_push_host: https://rubygems.org
   source_code_uri: https://github.com/erikoest/symath
+  documentation_uri: https://github.com/erikoest/symath/blob/main/README.md
 post_install_message: 
 rdoc_options: []
 require_paths: