symbolic 0.0.1

data/.gitignore

@@ -0,0 +1,21 @@
+## MAC OS
+.DS_Store
+
+## TEXTMATE
+*.tmproj
+tmtags
+
+## EMACS
+*~
+\#*
+.\#*
+
+## VIM
+*.swp
+
+## PROJECT::GENERAL
+coverage
+rdoc
+pkg
+
+## PROJECT::SPECIFIC

data/README

@@ -0,0 +1 @@
+Symbolic math for ruby.

data/Rakefile

@@ -0,0 +1,35 @@
+require 'rubygems'
+require 'rake'
+
+begin
+  require 'jeweler'
+  Jeweler::Tasks.new do |gem|
+    gem.name = "symbolic"
+    gem.version = '0.0.1'
+    gem.summary = %Q{Symbolic math for ruby}
+    gem.email = "ravwar@gmail.com"
+    gem.homepage = "http://github.com/brainopia/symbolic"
+    gem.authors = ["brainopia"]
+    gem.add_development_dependency "rspec", ">= 1.2.9"
+    # gem is a Gem::Specification... see http://www.rubygems.org/read/chapter/20 for additional settings
+  end
+  Jeweler::GemcutterTasks.new
+rescue LoadError
+  puts "Jeweler (or a dependency) not available. Install it with: sudo gem install jeweler"
+end
+
+require 'spec/rake/spectask'
+Spec::Rake::SpecTask.new(:spec) do |spec|
+  spec.libs << 'lib' << 'spec'
+  spec.spec_files = FileList['spec/**/*_spec.rb']
+end
+
+Spec::Rake::SpecTask.new(:rcov) do |spec|
+  spec.libs << 'lib' << 'spec'
+  spec.pattern = 'spec/**/*_spec.rb'
+  spec.rcov = true
+end
+
+task :spec => :check_dependencies
+
+task :default => :spec

data/lib/symbolic.rb

@@ -0,0 +1,310 @@
+module Symbolic
+  @enabled = false
+  class << self
+    def enabled?
+      @enabled
+    end
+
+    def enabled=(enable_flag)
+      if enable_flag && !@enabled
+        enable
+      elsif !enable_flag && @enabled
+        disable
+      end
+    end
+
+    def aliases
+      { :* => :non_symbolic_multiplication,
+        :+ => :non_symbolic_addition,
+        :- => :non_symbolic_substraction }
+    end
+
+    def math_operations
+      [:cos, :sin]
+    end
+
+    private
+
+    def numerical_context(&proc)
+      [Fixnum, Bignum, Float].each do |klass|
+        klass.class_eval &proc
+      end
+    end
+
+    def enable
+      @enabled = true
+      numerical_context do
+        Symbolic.aliases.each do |standard_operation, non_symbolic_operation|
+          alias_method non_symbolic_operation, standard_operation
+        end
+
+        def *(value)
+          if value.is_a?(Operatable)
+            Optimizations.multiply value, self, :reverse
+          else
+            non_symbolic_multiplication(value)
+          end
+        end
+
+        def +(value)
+          if value.is_a? Operatable
+            Optimizations.plus value, self, :reverse
+          else
+            non_symbolic_addition value
+          end
+        end
+
+        def -(value)
+          if value.is_a? Operatable
+            Optimizations.minus value, self, :reverse
+          else
+            non_symbolic_substraction value
+          end
+        end
+      end # numerical_context
+
+      math_operations.each do |operation|
+        Math.module_eval <<-CODE
+          class << self
+            alias non_symbolic_#{operation} #{operation}
+
+            def #{operation}(value)
+              if value.is_a? Operatable
+                Symbolic::Method.new value, :#{operation}
+              else
+                non_symbolic_#{operation} value
+              end
+            end
+          end
+        CODE
+      end
+    end # enable
+
+    def disable
+      @enabled = false
+      numerical_context do
+        Symbolic.aliases.each do |standard_operation, non_symbolic_operation|
+          alias_method standard_operation, non_symbolic_operation
+          remove_method non_symbolic_operation
+        end
+      end
+
+      Math.module_eval do
+        class << self
+          Symbolic.math_operations.each do |operation|
+            non_symbolic_operation = "non_symbolic_#{operation}"
+            alias_method operation, non_symbolic_operation
+            remove_method non_symbolic_operation
+          end
+        end
+      end
+    end # disable
+  end # class << self
+
+  class Operatable
+    def -@
+      UnaryMinus.create self
+    end
+
+    def *(value)
+      Optimizations.multiply self, value
+    end
+
+    def +(value)
+      Optimizations.plus self, value
+    end
+
+    def -(value)
+      Optimizations.minus self, value
+    end
+  end # Operations
+
+  module Optimizations
+    def self.plus(symbolic_var, var, reverse=false)
+      if var == 0
+        symbolic_var
+      elsif var.is_a? UnaryMinus
+        symbolic_var - var.variable
+      elsif reverse && symbolic_var.is_a?(UnaryMinus)
+        var - symbolic_var.variable
+      else
+        if reverse
+          Expression.new var, symbolic_var, '+'
+        else
+          Expression.new symbolic_var, var, '+'
+        end
+      end
+    end
+
+    def self.minus(symbolic_var, var, reverse=false)
+      if var == 0
+        symbolic_var
+      elsif var.is_a? UnaryMinus
+        symbolic_var + var.variable
+      elsif reverse && symbolic_var.is_a?(UnaryMinus)
+        var + symbolic_var.variable
+      else
+        if reverse
+          Expression.new var, symbolic_var, '-'
+        else
+          Expression.new symbolic_var, var, '-'
+        end
+      end
+    end
+
+    def self.multiply(symbolic_var, var, reverse=false)
+      if var == 0
+        var
+      elsif var == 1
+        symbolic_var
+      elsif var == -1
+        -symbolic_var
+      elsif var.is_a?(Numeric) && var < 0
+        -(-var*symbolic_var)
+      elsif var.is_a? UnaryMinus
+        UnaryMinus.create symbolic_var*var.variable
+      elsif symbolic_var.is_a? UnaryMinus
+        UnaryMinus.create symbolic_var.variable*var
+      else
+        if reverse
+          Expression.new var, symbolic_var, '*'
+        else
+          Expression.new symbolic_var, var, '*'
+        end
+      end
+    end
+  end
+
+  class Variable < Operatable
+    attr_accessor :value
+
+    @@index = 0
+
+    def initialize(options)
+      unless @name = options[:name]
+        @@index += 1
+        @name = "var#{@@index}"
+      end
+
+      @value = options[:value]
+    end
+
+    def to_s
+      @name
+    end
+
+    def undefined_variables
+      @value ? [] : [self]
+    end
+  end
+
+  class Expression < Operatable
+    def initialize(var1, var2, operation)
+      @var1, @var2, @operation = var1, var2, operation
+    end
+
+    def to_s
+      var1 = "#{@var1}"
+      var2 = "#{@var2}"
+      if @operation == '*'
+        var1 = "(#{@var1})" if @var1.is_a?(Expression) && (@var1.plus? || @var1.minus?)
+        var2 = "(#{@var2})" if @var2.is_a?(Expression) && (@var2.plus? || @var1.minus?)
+      end
+      "#{var1}#{@operation}#{var2}"
+    end
+
+    def plus?
+      @operation == '+'
+    end
+
+    def minus?
+      @operation == '-'
+    end
+
+    def multiply?
+      @operation == '*'
+    end
+
+    def value
+      if undefined_variables.empty?
+        value_of(@var1).send @operation, value_of(@var2)
+      end
+    end
+
+    def undefined_variables
+      (undefined_variables_of(@var1) + undefined_variables_of(@var2)).uniq
+    end
+
+    private
+
+    def undefined_variables_of(variable)
+      variable.is_a?(Operatable) ? variable.undefined_variables : []
+    end
+
+    def value_of(variable)
+      variable.is_a?(Operatable) ? variable.value : variable
+    end
+  end
+
+  class Method < Operatable
+    def initialize(variable, operation)
+      @variable, @operation = variable, operation
+    end
+
+    def to_s
+      "#{@operation}(#{@variable})"
+    end
+
+    def value
+      Math.send @operation, @variable.value if undefined_variables.empty?
+    end
+
+    def undefined_variables
+      @variable.undefined_variables
+    end
+  end
+
+  class UnaryMinus < Operatable
+    attr_reader :variable
+
+    def self.create(expression)
+      if expression.is_a? UnaryMinus
+        expression.variable
+      else
+        new expression
+      end
+    end
+
+    def initialize(variable)
+      @variable = variable
+    end
+
+    def to_s
+      if @variable.is_a? Variable
+        "-#{@variable}"
+      else
+        "(-#{@variable})"
+      end
+    end
+
+    def value
+      -@variable.value if undefined_variables.empty?
+    end
+
+    def undefined_variables
+      @variable.undefined_variables
+    end
+  end
+end
+
+module Kernel
+  def var(options={})
+    Symbolic::Variable.new options
+  end
+
+  def symbolic
+    Symbolic.enabled = true
+    yield
+    Symbolic.enabled = false
+  end
+end

data/spec/spec.opts

@@ -0,0 +1 @@
+--color

data/spec/spec_helper.rb

@@ -0,0 +1,9 @@
+$LOAD_PATH.unshift(File.dirname(__FILE__))
+$LOAD_PATH.unshift(File.join(File.dirname(__FILE__), '..', 'lib'))
+require 'symbolic'
+require 'spec'
+require 'spec/autorun'
+
+Spec::Runner.configure do |config|
+  
+end

data/spec/symbolic_spec.rb

@@ -0,0 +1,7 @@
+require File.expand_path(File.dirname(__FILE__) + '/spec_helper')
+
+describe "Symbolic" do
+  it "fails" do
+    fail "hey buddy, you should probably rename this file and start specing for real"
+  end
+end

metadata

@@ -0,0 +1,71 @@
+--- !ruby/object:Gem::Specification 
+name: symbolic
+version: !ruby/object:Gem::Version 
+  version: 0.0.1
+platform: ruby
+authors: 
+- brainopia
+autorequire: 
+bindir: bin
+cert_chain: []
+
+date: 2009-11-17 00:00:00 +03:00
+default_executable: 
+dependencies: 
+- !ruby/object:Gem::Dependency 
+  name: rspec
+  type: :development
+  version_requirement: 
+  version_requirements: !ruby/object:Gem::Requirement 
+    requirements: 
+    - - ">="
+      - !ruby/object:Gem::Version 
+        version: 1.2.9
+    version: 
+description: 
+email: ravwar@gmail.com
+executables: []
+
+extensions: []
+
+extra_rdoc_files: 
+- README
+files: 
+- .gitignore
+- README
+- Rakefile
+- lib/symbolic.rb
+- spec/spec.opts
+- spec/spec_helper.rb
+- spec/symbolic_spec.rb
+has_rdoc: true
+homepage: http://github.com/brainopia/symbolic
+licenses: []
+
+post_install_message: 
+rdoc_options: 
+- --charset=UTF-8
+require_paths: 
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+required_rubygems_version: !ruby/object:Gem::Requirement 
+  requirements: 
+  - - ">="
+    - !ruby/object:Gem::Version 
+      version: "0"
+  version: 
+requirements: []
+
+rubyforge_project: 
+rubygems_version: 1.3.5
+signing_key: 
+specification_version: 3
+summary: Symbolic math for ruby
+test_files: 
+- spec/spec_helper.rb
+- spec/symbolic_spec.rb