symath 0.1.0

data/lib/symath.rb

@@ -0,0 +1,157 @@
+require "symath/version"
+require "symath/parser"
+
+require 'symath/type'
+require 'symath/operator'
+require 'symath/sum'
+require 'symath/minus'
+require 'symath/product'
+require 'symath/wedge'
+require 'symath/fraction'
+require 'symath/power'
+require 'symath/definition'
+require 'symath/value'
+require 'symath/matrix'
+require 'symath/equation'
+require 'symath/poly'
+require 'symath/poly/dup'
+require 'symath/poly/galois'
+
+module SyMath
+  @@global_settings = {
+    # Symbol used to represent the differential operator
+    # on variables
+    :d_symbol => 'd',
+    # Symbol used to represent vector variables
+    :vector_symbol => '\'',
+    # Symbol used to represent covector variables
+    :covector_symbol => '.',
+
+    # Show all parantheses on +, *, / and ^ operators.
+    :expl_parentheses => false,
+    # Represent square roots with the root symbol or as a fraction exponent
+    :sq_exponent_form => false,
+    # Represent fraction of scalars as a negative exponent
+    :fraction_exponent_form => false,
+    # Show the multiplication sign in LaTeX output
+    :ltx_product_sign => false,
+
+    # Simplify expression at the time they are composed
+    :compose_with_simplify => true,
+
+    # Use complex arithmetic. Negative square roots are reduced to i*square
+    # root of the positive part. The complex infinity is used rather than the
+    # positive and negative real infinities.
+    :complex_arithmetic => true,
+
+    # Override inspect for value objects. This makes expression dumps more
+    # readable, but less precise.
+    :inspect_to_s => true,
+
+    # Biggest factorial that we calculate to a value
+    :max_calculated_factorial => 100,
+  }
+
+  # Note: No type checking here, although the library code expects the various
+  # parameters to be of specific types (boolean, string, etc.). Failure and/or
+  # strange behaviour must be expected if they are set to different types.
+  def self.setting(name, value = nil)
+    name = name.to_sym
+    if !@@global_settings.key?(name)
+      raise "Setting #{name} does not exist"
+    end
+
+    if !value.nil?
+      @@global_settings[name] = value
+    end
+
+    return @@global_settings[name]
+  end
+
+  def self.settings()
+    return @@global_settings
+  end
+  
+  @@special_variables = {
+    :basis.to_m => 1,
+    :g.to_m => 1,
+  }
+
+  @@variable_assignments = {
+    # Some variables with special meanings
+
+    # Row matrix of variable names used as the coordinates in differential
+    # geometry analyses. These define the dimension of the manifold, and
+    # also as the default names of the basis vectors and co-vectors of the
+    # tangent space.
+    :basis.to_m => [:x1, :x2, :x3].to_m,
+
+    # Metric tensor, relative to the chosen basis (subscript indexes)
+    :g.to_m => [[1, 0, 0],
+                [0, 1, 0],
+                [0, 0, 1]].to_m,
+  }
+
+  def self.define_equation(exp1, exp2)
+    return SyMath::Equation.new(exp1, exp2)
+  end
+
+  def self.get_variables()
+    return @@variable_assignments
+  end
+
+  def self.get_variable(var)
+    return @@variable_assignments[var.to_m]
+  end
+
+  def self.assign_variable(var, value)
+    var = var.to_m
+    value = value.to_m
+    
+    # Check that name is a variable
+    if !var.is_a?(SyMath::Definition::Variable)
+      raise "#{var} is not a variable"
+    end
+
+    if !value.is_a?(SyMath::Value)
+      raise "#{value} is not a SyMath::Value"
+    end
+    
+    @@variable_assignments[var] = value
+
+    # Re-calculate basis vectors if the basis or the metric tensor
+    # changes
+    if var.name.to_sym == :g or var.name.to_sym == :basis
+      SyMath::Definition::Variable.recalc_basis_vectors
+    end
+  end
+
+  def self.set_metric(g, basis = nil)
+    @@variable_assignments[:g.to_m] = g
+    if !basis.nil?
+      @@variable_assignments[:basis.to_m] = basis
+    end
+
+    SyMath::Definition::Variable.recalc_basis_vectors
+  end
+
+  def self.clear_variable(var)
+    @@variable_assignments.delete(var.to_m)
+  end
+
+  @@parser = SyMath::Parser.new
+
+  def self.parse(str)
+    return @@parser.parse(str)
+  end
+
+  # Initialize various static data used by the operation
+  # modules.
+  SyMath::Definition.init_builtin
+  SyMath::Definition::Trig.initialize
+  SyMath::Operation::Differential.initialize
+  SyMath::Operation::Integration.initialize
+
+  # Calculate basis vectors on startup
+  SyMath::Definition::Variable.recalc_basis_vectors
+end

data/symath.gemspec

@@ -0,0 +1,39 @@
+
+lib = File.expand_path("../lib", __FILE__)
+$LOAD_PATH.unshift(lib) unless $LOAD_PATH.include?(lib)
+require "symath/version"
+
+Gem::Specification.new do |spec|
+  spec.name          = "symath"
+  spec.version       = SyMath::VERSION
+  spec.authors       = ["erikoest"]
+  spec.email         = ["erik.ostlyngen@norid.no"]
+
+  spec.summary       = "Rudimentary symbolic math library"
+  spec.license       = "MIT"
+
+  # Prevent pushing this gem to RubyGems.org. To allow pushes either set the 'allowed_push_host'
+  # to allow pushing to a single host or delete this section to allow pushing to any host.
+  if spec.respond_to?(:metadata)
+    spec.metadata["allowed_push_host"] = 'https://rubygems.org'
+
+    spec.metadata["source_code_uri"] = "https://github.com/erikoest/symath"
+#    spec.metadata["changelog_uri"] = ""
+  else
+    raise "RubyGems 2.0 or newer is required to protect against " \
+      "public gem pushes."
+  end
+
+  # Specify which files should be added to the gem when it is released.
+  # The `git ls-files -z` loads the files in the RubyGem that have been added into git.
+  spec.files         = Dir.chdir(File.expand_path('..', __FILE__)) do
+    `git ls-files -z`.split("\x0").reject { |f| f.match(%r{^(test|spec|features)/}) }
+  end
+  spec.bindir        = "exe"
+  spec.executables   = spec.files.grep(%r{^exe/}) { |f| File.basename(f) }
+  spec.require_paths = ["lib"]
+
+  spec.add_development_dependency "bundler", "~> 2.0"
+  spec.add_development_dependency "rake", ">= 10.0"
+  spec.add_development_dependency "rspec", "~> 3.0"
+end

metadata

@@ -0,0 +1,160 @@
+--- !ruby/object:Gem::Specification
+name: symath
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- erikoest
+autorequire: 
+bindir: exe
+cert_chain: []
+date: 2021-11-19 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: bundler
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '2.0'
+- !ruby/object:Gem::Dependency
+  name: rake
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '10.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '10.0'
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - "~>"
+      - !ruby/object:Gem::Version
+        version: '3.0'
+description: 
+email:
+- erik.ostlyngen@norid.no
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rspec"
+- ".travis.yml"
+- CODE_OF_CONDUCT.md
+- Gemfile
+- LICENSE.txt
+- README.md
+- Rakefile
+- bin/console
+- bin/setup
+- lib/symath.rb
+- lib/symath/definition.rb
+- lib/symath/definition/abs.rb
+- lib/symath/definition/arccos.rb
+- lib/symath/definition/arccot.rb
+- lib/symath/definition/arccsc.rb
+- lib/symath/definition/arcsec.rb
+- lib/symath/definition/arcsin.rb
+- lib/symath/definition/arctan.rb
+- lib/symath/definition/bounds.rb
+- lib/symath/definition/codiff.rb
+- lib/symath/definition/constant.rb
+- lib/symath/definition/cos.rb
+- lib/symath/definition/cot.rb
+- lib/symath/definition/csc.rb
+- lib/symath/definition/curl.rb
+- lib/symath/definition/d.rb
+- lib/symath/definition/div.rb
+- lib/symath/definition/exp.rb
+- lib/symath/definition/fact.rb
+- lib/symath/definition/flat.rb
+- lib/symath/definition/function.rb
+- lib/symath/definition/grad.rb
+- lib/symath/definition/hodge.rb
+- lib/symath/definition/int.rb
+- lib/symath/definition/laplacian.rb
+- lib/symath/definition/lmd.rb
+- lib/symath/definition/ln.rb
+- lib/symath/definition/number.rb
+- lib/symath/definition/operator.rb
+- lib/symath/definition/sec.rb
+- lib/symath/definition/sharp.rb
+- lib/symath/definition/sin.rb
+- lib/symath/definition/sqrt.rb
+- lib/symath/definition/tan.rb
+- lib/symath/definition/trig.rb
+- lib/symath/definition/variable.rb
+- lib/symath/definition/xd.rb
+- lib/symath/equation.rb
+- lib/symath/fraction.rb
+- lib/symath/matrix.rb
+- lib/symath/minus.rb
+- lib/symath/operation.rb
+- lib/symath/operation/differential.rb
+- lib/symath/operation/distributivelaw.rb
+- lib/symath/operation/exterior.rb
+- lib/symath/operation/integration.rb
+- lib/symath/operation/match.rb
+- lib/symath/operation/normalization.rb
+- lib/symath/operator.rb
+- lib/symath/parser.rb
+- lib/symath/parser.y
+- lib/symath/poly.rb
+- lib/symath/poly/dup.rb
+- lib/symath/poly/galois.rb
+- lib/symath/power.rb
+- lib/symath/product.rb
+- lib/symath/sum.rb
+- lib/symath/type.rb
+- lib/symath/value.rb
+- lib/symath/version.rb
+- lib/symath/wedge.rb
+- symath.gemspec
+homepage: 
+licenses:
+- MIT
+metadata:
+  allowed_push_host: https://rubygems.org
+  source_code_uri: https://github.com/erikoest/symath
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.1.2
+signing_key: 
+specification_version: 4
+summary: Rudimentary symbolic math library
+test_files: []