hilbert 0.0.2700000

data/lib/qlang/utils/ruby_ext.rb

@@ -0,0 +1,54 @@
+# module ::Kernel
+#   def recursive_require(str)
+#     Dir["#{$:.first}/#{str}"].each do |file|
+#       require file
+#     end
+#   end
+# end
+
+class ::String
+  def parentheses
+    "(#{self})"
+  end
+
+  def braces
+    "{#{self}}"
+  end
+
+  def rm(str_or_rgx)
+    gsub(str_or_rgx, '')
+  end
+
+  def rm!(str_or_rgx)
+    gsub!(str_or_rgx, '')
+    self
+  end
+
+  def rms!(*str_or_rgxs)
+    str_or_rgxs.each do |str_or_rgx|
+      rm!(str_or_rgx)
+    end
+    self
+  end
+
+  def split_by_sp
+    split(/ +/)
+  end
+
+  # FIX:
+  def equalize!
+    rms!(/\A +/, / +\z/)
+    if self =~ /\A\(/ && self =~ /\)\z/
+      rms!(/\A\(/, /\)\z/)
+      rms!(/\A +/, / +\z/)
+    else
+      self
+    end
+  end
+end
+
+class ::Array
+  def join_by_sp
+    join(' ')
+  end
+end

data/lib/qlang/version.rb

@@ -0,0 +1,3 @@
+module Qlang
+  VERSION = '0.0.2700000'
+end

data/lib/qlang.rb

@@ -0,0 +1,37 @@
+# Ruby stlib
+require 'kconv'
+require 'matrix'
+require 'singleton'
+require 'yaml'
+
+$:.unshift(File.dirname(__FILE__))
+# Q core
+require 'qlang/meta_info'
+require 'qlang/utils/ruby_ext'
+require 'qlang/lexer'
+require 'qlang/parser'
+
+module Qlang
+  $meta_info = MetaInfo.instance
+
+  class << self
+
+    def compile(str)
+      lexed = Lexer.execute(str)
+      Kconv.tosjis(Parser.execute(lexed))
+    end
+
+    $meta_info.langs_hash.keys.each do |lang_name|
+      define_method("to_#{lang_name}") do |*opts|
+        $meta_info.lang = lang_name.to_sym
+        $meta_info.opts = opts
+        Qlang
+      end
+    end
+
+  end
+
+end
+
+# Make alias as Q
+Q = Qlang

data/qlang.gemspec

@@ -0,0 +1,28 @@
+# coding: utf-8
+lib = File.expand_path('../lib', __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require 'qlang/version'
+
+Gem::Specification.new do |spec|
+  spec.name          = 'hilbert'
+  spec.version       = Qlang::VERSION
+  spec.authors       = ['gogotanaka']
+  spec.email         = ['mail@tanakakazuki.com']
+  spec.extensions    = ['ext/qlang/extconf.rb']
+  spec.summary       = %q{Enjoy MATH!}
+  spec.description   = %q{Enjoy MATH!}
+  spec.homepage      = 'http://q-language.org/'
+  spec.license       = 'MIT'
+
+  spec.files         = `git ls-files -z`.split("\x0")
+  spec.executables   = spec.files.grep(%r{^bin/}) { |f| File.basename(f) }
+  spec.test_files    = spec.files.grep(%r{^(test|spec|features)/})
+  spec.require_paths = ['lib']
+
+  spec.add_dependency 'dydx', '~> 0.1.41421'
+
+  spec.add_development_dependency 'bundler'
+  spec.add_development_dependency 'rake'
+  spec.add_development_dependency 'rake-compiler'
+  spec.add_development_dependency 'minitest'
+end

data/test/internal/test_tokens.rb

@@ -0,0 +1,35 @@
+require 'minitest_helper'
+
+class TestTokens < MiniTest::Unit::TestCase
+  include Qlang::Lexer::Tokens
+  def setup
+  end
+
+  def full_match(rgx, str)
+    assert_equal(0, rgx =~ str)
+    assert_equal(str, $&)
+  end
+
+  def not_match(rgx, str)
+    assert_equal(nil, rgx =~ str)
+  end
+
+  def test_nums
+    full_match(NUM, '1')
+    full_match(NUM, '234987423')
+    full_match(NUM, '23423948.298743')
+    full_match(NUM, 'e')
+    full_match(NUM, 'pi')
+    not_match(NUM, 'a')
+  end
+
+  def test_function
+    full_match(/[fgh]\(\w( ?, ?\w)*\) ?= ?[^\r\n]+/, 'f(x) = xy')
+  end
+
+  def test_differentiate
+    rgx = /d\/d[a-zA-Z] .*/
+    full_match(rgx, 'd/dx sin(x)')
+    full_match(rgx, 'd/dz z^2')
+  end
+end

data/test/interpreter/base.rb

@@ -0,0 +1,17 @@
+require 'qlang/iq'
+
+class TestInterpreterBase < MiniTest::Unit::TestCase
+  # TODO: opposite
+  def assert_iq_equal(input, output)
+    assert_equal(Qlang::Iq.execute(input), output)
+  end
+
+  def assert_def_func(input, output)
+    assert_equal(Qlang::Iq.execute(input), output)
+  end
+
+  def assert_cal_func(input, output)
+    assert_equal(Qlang::Iq.execute(input), output)
+    reset
+  end
+end

data/test/interpreter/test_differential.rb

@@ -0,0 +1,43 @@
+require 'minitest_helper'
+
+class TestDifferential < TestInterpreterBase
+  def setup
+  end
+
+  def test_general
+    assert_iq_equal(
+      'd/dx(e ** x)',
+      'e ^ x'
+    )
+
+    assert_iq_equal(
+      'd/dx(x ** 2)',
+      '2x'
+    )
+
+    assert_iq_equal(
+      'd/dx(x * 2)',
+      '2'
+    )
+
+    assert_iq_equal(
+      'd/dx( sin(x) )',
+      'cos( x )'
+    )
+
+    assert_iq_equal(
+      'd/dx(log( x ))',
+      '1 / x'
+    )
+
+    assert_iq_equal(
+      'd/dx cos(x)',
+      '- sin( x )'
+    )
+
+    assert_iq_equal(
+      'd/dx xx',
+      '2x'
+    )
+  end
+end

data/test/interpreter/test_function.rb

@@ -0,0 +1,44 @@
+require 'minitest_helper'
+
+class TestFunction < TestInterpreterBase
+  def setup
+  end
+
+  def test_general
+    assert_def_func('f(x, y) = x + y', 'x + y')
+    assert_cal_func('f( 4, 5 )', '9.0')
+
+    assert_def_func('f( x     ,    y) = xy', 'x * y')
+    assert_cal_func('f( 3, 9 )', '27.0')
+
+    assert_def_func('f(x, y) = xy^2', 'x * ( y ** 2 )')
+    assert_cal_func('f( 3, 2 )', '12.0')
+
+    assert_def_func('f(x, y) = xy^2', 'x * ( y ** 2 )')
+    assert_cal_func('df/dx', 'y ^ 2')
+
+    assert_def_func('g(x) = x ^ 2', 'x ** 2')
+    assert_cal_func('g(2)', '4.0')
+
+    assert_def_func('h(x) = e ^ 2', 'e ** 2')
+    assert_cal_func('h(2)', '7.3890560989306495')
+
+    assert_def_func('h(x) = pix', 'pi * x')
+    assert_cal_func('h(3)', '9.42477796076938')
+
+    assert_def_func('h(x) = pie', 'pi * e')
+    assert_cal_func('h(2)', '8.539734222673566')
+
+    assert_def_func('h(x) = ( 1 / ( 2pi ) ^ ( 1 / 2.0 ) ) * e ^ ( - x ^ 2 / 2 )', '( ( 4503599627370496 / 6369051672525773 ) / ( pi ** 0.5 ) ) * ( e ** ( ( - ( x ** 2 ) ) / 2 ) )')
+    assert_cal_func('S( h(x)dx )[-oo..oo]', '1.0')
+
+    assert_def_func('f(x) = sin(x)', 'sin( x )')
+    assert_cal_func('f(pi)', '0.0')
+
+    assert_def_func('f(x) = cos(x)', 'cos( x )')
+    assert_cal_func('f(pi)', '-1.0')
+
+    assert_def_func('f(x) = log(x)', 'log( x )')
+    assert_cal_func('f(e)', '1.0')
+  end
+end

data/test/interpreter/test_general.rb

@@ -0,0 +1,12 @@
+require 'minitest_helper'
+
+class TestGeneral < TestInterpreterBase
+  def setup
+  end
+
+  def test_general
+    assert_iq_equal('2x', '2x')
+    assert_iq_equal('x + x', '2x')
+    assert_iq_equal('x * y', 'xy')
+  end
+end

data/test/interpreter/test_integral.rb

@@ -0,0 +1,38 @@
+require 'minitest_helper'
+
+class TestIntegral < TestInterpreterBase
+  def setup
+  end
+
+  def test_general
+    assert_iq_equal(
+      'S( log(x)dx )[0..1]',
+      '-oo'
+    )
+
+    assert_iq_equal(
+      'S( sin(x)dx )[0..pi]',
+      '2.0'
+    )
+
+    assert_iq_equal(
+      'S( cos(x)dx )[0..pi]',
+      '0.0'
+    )
+
+    assert_iq_equal(
+      'S( cos(x)dx )[0..pi]',
+      '0.0'
+    )
+
+    assert_iq_equal(
+      'S(2pi dx)[0..1]',
+      '6.28318531'
+    )
+
+    assert_iq_equal(
+      'S(xx dx)[0..1]',
+      '0.33333333'
+    )
+  end
+end

data/test/interpreter/test_limit.rb

@@ -0,0 +1,37 @@
+require 'minitest_helper'
+
+class TestLimit < TestInterpreterBase
+  def setup
+  end
+
+  def assert_iq_equal(output, input)
+    assert_equal(Qlang::Iq.execute(input), output)
+  end
+
+  def test_general
+    assert_iq_equal(
+      'oo',
+      'lim[x->0] 1/x'
+    )
+
+    assert_iq_equal(
+      '10.0',
+      'lim[x->10] x'
+    )
+
+    # assert_iq_equal(
+    #   '2.7182682371744895',
+    #   'lim[x->oo] (1 + 1/x)^x'
+    # )
+
+    assert_iq_equal(
+      'oo',
+      'lim[x->oo] x'
+    )
+
+    assert_iq_equal(
+      '0.0',
+      'lim[x->0] x'
+    )
+  end
+end

data/test/interpreter/test_matrix.rb

@@ -0,0 +1,70 @@
+require 'minitest_helper'
+
+class TestMatrix < TestInterpreterBase
+  def setup
+  end
+
+  def test_integer
+    assert_iq_equal(
+      '(1 2 3; 4 5 6)',
+      '(1 2 3; 4 5 6)'
+    )
+
+    assert_iq_equal(
+      '(1 2 3; 4 5 6) + (1 2 3; 4 5 6)',
+      '(2 4 6; 8 10 12)'
+    )
+
+    assert_iq_equal(
+      '(1 2 3; 4 5 6) - (2 4 1; 8 3 9)',
+      '(-1 -2 2; -4 2 -3)'
+    )
+
+    assert_iq_equal(
+      '(1 2; 3 4) * (1 2; 3 4)',
+      '(7 10; 15 22)'
+    )
+
+    assert_iq_equal(
+      '(1 2; 3 4) ** 2',
+      '(7 10; 15 22)'
+    )
+
+    assert_iq_equal(
+      '(1 2; 3 4) ** 2',
+      '(7 10; 15 22)'
+    )
+
+    assert_iq_equal(
+      '(1 2; 3 4) * (1 2)',
+      '(5 11)'
+    )
+
+    assert_iq_equal(
+      '(1 2 3; 4 5 6)t',
+      '(1 4; 2 5; 3 6)'
+    )
+
+    assert_iq_equal(
+      '(1 2 3
+        4 5 6) +
+       (1 2 3
+        4 5 6)',
+      '(2 4 6; 8 10 12)'
+    )
+  end
+
+  def test_float
+    assert_iq_equal(
+      '(1.0  2.0  3
+        4.2  5.3  6)t',
+      '(1.0 4.2; 2.0 5.3; 3 6)'
+    )
+
+    assert_iq_equal(
+      '(1.0  2.0  3
+        4.2  5.3  6)t',
+      '(1.0 4.2; 2.0 5.3; 3 6)'
+    )
+  end
+end

data/test/interpreter/test_sigma.rb

@@ -0,0 +1,25 @@
+#!/bin/env ruby
+# encoding: utf-8
+require 'minitest_helper'
+
+class TestSigma < TestInterpreterBase
+  def setup
+  end
+
+  def test_general
+    assert_iq_equal(
+      '∑[x=0,10] x',
+      '55.0'
+    )
+
+    assert_iq_equal(
+      '∑[x=0, 10] x^2',
+      '385.0'
+    )
+
+    assert_iq_equal(
+      '∑[x=0, 10] x^3',
+      '3025.0'
+    )
+  end
+end

data/test/interpreter/test_vector.rb

@@ -0,0 +1,28 @@
+require 'minitest_helper'
+
+class TestVector < TestInterpreterBase
+  def setup
+  end
+
+  def test_integer
+    assert_iq_equal(
+      '(1 2 3)',
+      '(1 2 3)'
+    )
+
+    assert_iq_equal(
+      '(1 2 3) + (1 2 3)',
+      '(2 4 6)'
+    )
+
+    assert_iq_equal(
+      '(1  2  3 )  +  ( 1 2 3 )',
+      '(2 4 6)'
+    )
+
+    assert_iq_equal(
+      '(1 2 3) - (1 2 3) - (1 2 3)',
+      '(-1 -2 -3)'
+    )
+  end
+end

data/test/langs/test_r.rb

@@ -0,0 +1,32 @@
+require 'minitest_helper'
+
+class TestR < TestInterpreterBase
+  def setup
+  end
+
+  def assert_r_compl_eq(output, input)
+    assert_equal(output, Q.to_r.compile(input))
+  end
+
+  def test_function
+    assert_r_compl_eq(
+      "f <- function(x, y) x + y",
+      'f(x, y) = x + y'
+    )
+
+    assert_r_compl_eq(
+      "g <- function(x) x ^ 2",
+      'g(x) = x ^ 2'
+    )
+
+    assert_r_compl_eq(
+      "g <- function(x) x ^ (2 + 2)",
+      'g(x) = x ^ (2 + 2)'
+    )
+
+    assert_r_compl_eq(
+      "h <- function(a, b, c) a ^ 2 + b ^ 2 + c ^ 2",
+      'h(a, b, c) = a ^ 2 + b ^ 2 + c ^ 2'
+    )
+  end
+end

data/test/langs/test_ruby.rb

@@ -0,0 +1,9 @@
+require 'minitest_helper'
+
+class TestRuby < TestInterpreterBase
+  def setup
+  end
+
+  def test_integer
+  end
+end

data/test/minitest_helper.rb

@@ -0,0 +1,8 @@
+$LOAD_PATH.unshift File.expand_path('../../lib', __FILE__)
+require 'qlang'
+
+require 'minitest/autorun'
+require 'pp'
+require 'pry'
+
+require 'interpreter/base'

data/test/q_matrix/test_q_matrix.rb

@@ -0,0 +1,13 @@
+require 'minitest_helper'
+require 'qlang/qlang'
+
+class TestQMatrix < TestInterpreterBase
+  def setup
+  end
+
+  def test_main
+    # assert_equal(50.0, QMatrix.new.func(10))
+
+    assert_equal(8.0, QMatrix.new.execute(0, 2, 100))
+  end
+end

data/test/test_qlang.rb

@@ -0,0 +1,24 @@
+require 'minitest_helper'
+
+class TestQlang < MiniTest::Unit::TestCase
+  def setup
+  end
+
+  def assert_to_ruby(input, output)
+    assert_equal(Q.to_ruby.compile(input), output)
+  end
+
+  def test_basis
+    refute_nil ::Qlang::VERSION
+    assert_equal(Qlang, Q)
+  end
+
+  def test_demo_code
+    assert_to_ruby('d/dx(sin(x))', 'd/dx(sin(x))')
+    assert_to_ruby('d/dx(log(x))', 'd/dx(log(x))')
+    assert_to_ruby('f(x, y) = x + y', 'f(x, y) <= x + y')
+    assert_equal(Matrix[[1, 2, 3], [4, 5, 6]].to_q, '(1 2 3; 4 5 6)')
+    assert_equal(Vector[1, 2, 3].to_q, '(1 2 3)')
+  end
+end
+