plurimath 0.2.1 → 0.2.3

data/lib/plurimath/math/symbol.rb

@@ -2,11 +2,11 @@
 
 module Plurimath
   module Math
-    class Symbol
+    class Symbol < Base
       attr_accessor :value
 
       def initialize(sym)
-        @value = sym
+        @value = super
       end
 
       def ==(object)
@@ -14,29 +14,68 @@ module Plurimath
       end
 
       def to_asciimath
-        symbol = Asciimath::Constants::SYMBOLS.invert[value.to_sym].to_s
-        symbol.empty? ? value : symbol
+        return "" if value.nil?
+
+        symbol = Asciimath::Constants::SYMBOLS.invert[value.strip.to_sym]
+        unicodes = Latex::Constants::UNICODE_SYMBOLS.invert
+        if value.match?(/&#x[0-9\w]+;/) && symbol.nil? && unicodes[value]
+          return unicodes[value].to_s
+        end
+
+        symbol ? symbol.to_s : value
       end
 
       def to_mathml_without_math_tag
-        "<mo>#{mathml_symbol_value}</mo>"
-      end
+        mi_tag = Utility.ox_element("mi")
+        return mi_tag if ["{:", ":}"].include?(value)
+
+        unicodes = Mathml::Constants::UNICODE_SYMBOLS
+        unicode = unicodes.invert[value]
+        if operator?(unicode) || unicode
+          mo_value = (unicodes[value] || unicode || value).to_s
+          return Utility.ox_element("mo") << mo_value
+        end
 
-      def mathml_symbol_value
-        Mathml::Constants::UNICODE_SYMBOLS.invert[value] || value
+        mi_tag << value
       end
 
       def to_latex
-        symbols = Latex::Constants::SYMBOLS.invert
-        symbols.key?(value) ? "\\#{symbols[value]}" : value
+        returned = specific_values
+        return returned if returned
+
+        special_char = %w[&#x26; &#x23;]
+        symbols = Latex::Constants::UNICODE_SYMBOLS.invert
+
+        symbol = symbols[value]
+        if Latex::Constants::SYMBOLS[symbol] == :operant
+          special_char.include?(value) ? "\\#{symbol}" : symbol
+        else
+          symbols.key?(value) ? "\\#{symbol}" : value
+        end
       end
 
       def to_html
         value
       end
 
-      def class_name
-        self.class.name.split("::").last.downcase
+      def to_omml_without_math_tag
+        value
+      end
+
+      private
+
+      def operator?(unicode)
+        Mathml::Constants::OPERATORS.any? do |d|
+          [unicode.to_s, value.strip].include?(d)
+        end
+      end
+
+      def specific_values
+        return "" if ["{:", ":}"].include?(value)
+
+        return "\\#{value}" if ["{", "}"].include?(value) || value == "_"
+
+        return "\\operatorname{if}" if value == "if"
       end
     end
   end

data/lib/plurimath/math/unicode.rb

@@ -0,0 +1,11 @@
+# frozen_string_literal: true
+
+module Plurimath
+  module Math
+    class Unicode < Symbol
+      def to_mathml_without_math_tag
+        Utility.ox_element("mo") << value
+      end
+    end
+  end
+end

data/lib/plurimath/math.rb

@@ -1,6 +1,5 @@
 # frozen_string_literal: true
 
-require "ox"
 require_relative "unicode"
 require_relative "asciimath"
 require_relative "omml"
@@ -8,16 +7,21 @@ require_relative "mathml"
 require_relative "html"
 require_relative "latex"
 require_relative "unitsml"
-require_relative "math/formula"
-require_relative "math/function"
+require_relative "math/base"
 require_relative "math/number"
 require_relative "math/symbol"
+require_relative "math/unicode"
+require_relative "math/formula"
+require_relative "math/function"
 require_relative "asciimath/parser"
 require_relative "mathml/parser"
 require_relative "latex/parser"
 require_relative "html/parser"
 require_relative "omml/parser"
 require_relative "utility"
+require "ox"
+Ox.default_options = { encoding: "UTF-8" }
+
 module Plurimath
   module Math
     class Error < StandardError; end

data/lib/plurimath/mathml/constants.rb

@@ -4,77 +4,76 @@ module Plurimath
   class Mathml
     class Constants
       UNICODE_SYMBOLS = {
-        "α": "alpha",
-        "β": "beta",
-        "γ": "gamma",
+        "α": "alpha",
+        "β": "beta",
+        "γ": "gamma",
         "Γ": "Gamma",
-        "δ": "delta",
+        "δ": "delta",
         "Δ": "Delta",
         "∆": "Delta",
-        "ε": "epsilon",
+        "ε": "epsilon",
         "ɛ": "varepsilon",
-        "ζ": "zeta",
-        "η": "eta",
-        "θ": "theta",
+        "ζ": "zeta",
+        "η": "eta",
+        "θ": "theta",
         "Θ": "Theta",
-        "ϑ": "vartheta",
-        "ι": "iota",
-        "κ": "kappa",
-        "λ": "lambda",
-        "Λ": "Lambda",
-        "μ": "mu",
-        "ν": "nu",
-        "ξ": "xi",
-        "Ξ": "Xi",
+        "ϑ": "vartheta",
+        "ι": "iota",
+        "κ": "kappa",
+        "λ": "lambda",
+        "Λ": "Lambda",
+        "μ": "mu",
+        "ν": "nu",
+        "ξ": "xi",
+        "Ξ": "Xi",
         "π": "pi",
-        "Π": "Pi",
-        "ρ": "rho",
-        "ς": "beta",
-        "σ": "sigma",
-        "Σ": "Sigma",
-        "τ": "tau",
-        "υ": "upsilon",
-        "φ": "phi",
-        "Φ": "Phi",
-        "ϕ": "varphi",
-        "χ": "chi",
-        "ψ": "psi",
-        "Ψ": "Psi",
-        "ω": "omega",
-        "Ω": "omega",
-        "⋅": "dot",
+        "Π": "Pi",
+        "ρ": "rho",
+        "ς": "beta",
+        "σ": "sigma",
+        "Σ": "Sigma",
+        "τ": "tau",
+        "υ": "upsilon",
+        "φ": "phi",
+        "Φ": "Phi",
+        "ϕ": "varphi",
+        "χ": "chi",
+        "ψ": "psi",
+        "Ψ": "Psi",
+        "ω": "omega",
+        "Ω": "omega",
+        "⋅": "dot",
         "∙": "*",
-        "·": ".",
+        "·": ".",
         "∗": "**",
-        "⋆": "***",
-        "×": "xx",
-        "&#x22C9;": "|><",
-        "&#x22CA;": "><|",
-        "&#x22C8;": "|><|",
-        "&#xF7;": "-:",
+        "&#x22c6;": "***",
+        "&#xd7;": "xx",
+        "&#x22c9;": "|><",
+        "&#x22ca;": "><|",
+        "&#x22c8;": "|><|",
+        "&#xf7;": "-:",
         "&#x2218;": "@",
         "&#x2295;": "o+",
-        "&#x2A01;": "o+",
+        "&#x2a01;": "o+",
         "&#x2297;": "ox",
         "&#x2299;": " ",
         "&#x2211;": "sum",
-        "&#x220F;": "prod",
         "&#x220f;": "prod",
         "&#x2227;": "^^",
-        "&#x22C0;": "^^^",
+        "&#x22c0;": "^^^",
         "&#x2228;": "vv",
         "&#x22c1;": "vvv",
         "&#x2229;": "nn",
-        "&#x22C2;": "nnn",
-        "&#x222A;": "cup",
-        "&#x22C3;": "uuu",
+        "&#x22c2;": "nnn",
+        "&#x222a;": "cup",
+        "&#x22c3;": "uuu",
         "&#x2260;": "!=",
         "&#x2264;": "<=",
         "&#x2265;": ">=",
-        "&#x227A;": "-<",
-        "&#x227B;": ">-",
-        "&#x2AAF;": "-<=",
-        "&#x2AB0;": " >-=",
+        "&#x227a;": "-<",
+        "&#x227b;": ">-",
+        "&#x2aaf;": "-<=",
+        "&#x2ab0;": " >-=",
         "&#x2208;": "in",
         "&#x2209;": "!in",
         "&#x2282;": "sub",
@@ -84,65 +83,68 @@ module Plurimath
         "&#x2261;": "-=",
         "&#x2245;": "~=",
         "&#x2248;": "~~",
-        "&#x221D;": "prop",
-        "&#xAC;": "not",
+        "&#x221d;": "prop",
+        "&#xac;": "not",
         "&#x2200;": "AA",
         "&#x2203;": "EE",
-        "&#x22A5;": "_|_",
-        "&#x22A4;": "TT",
-        "&#x22A2;": "|--",
-        "&#x22A8;": "|==",
+        "&#x22a5;": "_|_",
+        "&#x22a4;": "TT",
+        "&#x22a2;": "|--",
+        "&#x22a8;": "|==",
         "&#x2329;": "(:",
-        "&#x232A;": ":)",
-        "&#x27E8;": "<<",
-        "&#x27E9;": ">>",
-        "&#x222B;": "int",
-        "&#x222E;": "oint",
+        "&#x232a;": ":)",
+        "&#x27e8;": "<<",
+        "&#x27e9;": ">>",
+        "&#x222b;": "int",
+        "&#x222e;": "oint",
         "&#x2202;": "del",
         "&#x2207;": "grad",
-        "&#xB1;": "+-",
+        "&#xb1;": "+-",
         "&#x2205;": "O/",
-        "&#x221E;": "oo",
+        "&#x221e;": "oo",
         "&#x2135;": "aleph",
         "&#x2234;": ":.",
         "&#x2235;": ":'",
         "&#x2220;": "/_",
-        "&#x25B3;": "/_\\",
+        "&#x25b3;": "/_\\",
         "&#x2032;": "'",
-        "&#xA0;&#xA0;": "quad",
-        "&#xA0;&#xA0;&#xA0;&#xA0;": "qquad",
+        "&#xa0;&#xa0;": "quad",
+        "&#xa0;&#xa0;&#xa0;&#xa0;": "qquad",
         "&#x2322;": "frown",
-        "&#x22EF;": "cdots",
-        "&#x22EE;": "vdots",
-        "&#x22F1;": "ddots",
-        "&#x22C4;": "diamond",
-        "&#x25A1;": "square",
-        "&#x230A;": "|__",
-        "&#x230B;": "__|",
+        "&#x22ef;": "cdots",
+        "&#x22ee;": "vdots",
+        "&#x22f1;": "ddots",
+        "&#x22c4;": "diamond",
+        "&#x25a1;": "square",
+        "&#x230a;": "|__",
+        "&#x230b;": "__|",
         "&#x2308;": "|~",
         "&#x2309;": "~|",
         "&#x2102;": "CC",
         "&#x2115;": "NN",
-        "&#x211A;": "QQ",
-        "&#x211D;": "RR",
+        "&#x211a;": "QQ",
+        "&#x211d;": "RR",
         "&#x2124;": "ZZ",
         "&#x2191;": "uarr",
         "&#x2193;": "darr",
         "&#x2190;": "larr",
         "&#x2194;": "harr",
-        "&#x21D2;": "rArr",
-        "&#x21D0;": "lArr",
-        "&#x21D4;": "hArr",
+        "&#x21d2;": "rArr",
+        "&#x21d0;": "lArr",
+        "&#x21d4;": "hArr",
         "&#x2192;": "->",
-        "&#x21A3;": ">->",
-        "&#x21A0;": "->>",
+        "&#x21a3;": ">->",
+        "&#x21a0;": "->>",
         "&#x2916;": ">->>",
-        "&#x21A6;": "|->",
+        "&#x21a6;": "|->",
         "&#x2026;": "...",
         "&#x2212;": "-",
-        "&#x2061;": "",
-        "&#x23DE;": "obrace",
-        "&#x23DF;": "ubrace",
+        "&#x23de;": "obrace",
+        "&#x23df;": "ubrace",
+        "&#x26;": "&",
+        "&#x3e;": ">",
+        "&#x3c;": "<",
+        "&amp;": "&",
       }.freeze
       SYMBOLS = {
         "|": "|",
@@ -226,69 +228,144 @@ module Plurimath
         f
         g
       ].freeze
-      TAGS = %i[
-        annotation-xml
-        annotation_xml
-        mmultiscripts
-        maligngroup
-        malignmark
-        annotation
-        munderover
-        mscarries
-        semantics
-        mphantom
-        mlongdiv
-        menclose
-        mscarry
-        msubsup
-        mpadded
-        maction
-        msgroup
-        mfenced
-        merror
-        munder
-        mtable
-        mstyle
-        mstack
-        mspace
-        msline
-        mfrac
-        mover
-        msrow
-        mroot
-        msqrt
-        msup
-        msub
-        mrow
-        math
-        mtr
-        mtd
-        ms
-        mi
-        mo
-        mn
-      ].freeze
-      BINARY_CLASSES = %i[
-        underset
-        stackrel
-        overset
-        color
-        prod
-        frac
-        root
-        oint
-        int
-        sum
-        mod
-        log
-      ].freeze
-      FONT_CLASSES = %i[
-        double-struck
-        sans-serif
-        monospace
-        fraktur
-        script
-        bold
+      OPERATORS = [
+        "&#x00a0;&#x00a0;&#x00a0;&#x00a0;",
+        "&#x00a0;&#x00a0;",
+        "&#x002a;",
+        "&#x003c;",
+        "&#x003e;",
+        "&#x00a0;",
+        "&#x00ac;",
+        "&#x00b1;",
+        "&#x00d7;",
+        "&#x00f7;",
+        "&#x0393;",
+        "&#x0394;",
+        "&#x0398;",
+        "&#x039b;",
+        "&#x039e;",
+        "&#x03a0;",
+        "&#x03a3;",
+        "&#x03a9;",
+        "&#x2026;",
+        "&#x2032;",
+        "&#x2102;",
+        "&#x2115;",
+        "&#x211a;",
+        "&#x211d;",
+        "&#x2124;",
+        "&#x2135;",
+        "&#x2190;",
+        "&#x2191;",
+        "&#x2192;",
+        "&#x2192;",
+        "&#x2193;",
+        "&#x2194;",
+        "&#x21a0;",
+        "&#x21a3;",
+        "&#x21a6;",
+        "&#x21d0;",
+        "&#x21d2;",
+        "&#x21d2;",
+        "&#x21d4;",
+        "&#x21d4;",
+        "&#x2200;",
+        "&#x2202;",
+        "&#x2203;",
+        "&#x2205;",
+        "&#x2207;",
+        "&#x2208;",
+        "&#x2209;",
+        "&#x220f;",
+        "&#x2211;",
+        "&#x2212;",
+        "&#x2213;",
+        "&#x221d;",
+        "&#x221e;",
+        "&#x2220;",
+        "&#x2227;",
+        "&#x2228;",
+        "&#x2229;",
+        "&#x222a;",
+        "&#x222b;",
+        "&#x222e;",
+        "&#x2234;",
+        "&#x2235;",
+        "&#x223c;",
+        "&#x2245;",
+        "&#x2248;",
+        "&#x2254;",
+        "&#x2260;",
+        "&#x2261;",
+        "&#x2264;",
+        "&#x2265;",
+        "&#x226a;",
+        "&#x226b;",
+        "&#x227a;",
+        "&#x227b;",
+        "&#x2282;",
+        "&#x2283;",
+        "&#x2286;",
+        "&#x2287;",
+        "&#x2295;",
+        "&#x2297;",
+        "&#x2299;",
+        "&#x22a2;",
+        "&#x22a4;",
+        "&#x22a5;",
+        "&#x22a8;",
+        "&#x22c0;",
+        "&#x22c1;",
+        "&#x22c2;",
+        "&#x22c3;",
+        "&#x22c4;",
+        "&#x22c5;",
+        "&#x22c6;",
+        "&#x22c8;",
+        "&#x22c9;",
+        "&#x22ca;",
+        "&#x22ee;",
+        "&#x22ef;",
+        "&#x22f1;",
+        "&#x2308;",
+        "&#x2309;",
+        "&#x230a;",
+        "&#x230b;",
+        "&#x2322;",
+        "&#x25a1;",
+        "&#x25b3;",
+        "&#x26ac;",
+        "&#x2916;",
+        "&#x2aaf;",
+        "&#x2ab0;",
+        "&#x2b;",
+        "&#x3d;",
+        "&#x3a;",
+        "&#x3c;",
+        "&#xd7;",
+        "&#xb1;",
+        "&#x26;",
+        "&#x3b;",
+        "&#x3e;",
+        "&#x7c;",
+        "lim",
+        "max",
+        "min",
+        "\\",
+        "//",
+        "/",
+        "if",
+        "^",
+        "_",
+        "+",
+        "/",
+        "=",
+        ":",
+        ",",
+        ")",
+        "(",
+        "[",
+        "]",
       ].freeze
     end
   end

data/lib/plurimath/mathml/parser.rb

@@ -1,6 +1,5 @@
 # frozen_string_literal: true
 
-require_relative "parse"
 require_relative "constants"
 require_relative "transform"
 module Plurimath
@@ -9,17 +8,34 @@ module Plurimath
       attr_accessor :text
 
       def initialize(text)
-        @text = text.gsub(/\s/, "")
+        @text = text
       end
 
       def parse
-        tree_t = Plurimath::Mathml::Parse.new.parse(text)
-        tree_t = JSON.parse(tree_t.to_json, symbolize_names: true)
-        formula = Plurimath::Mathml::Transform.new.apply(tree_t)
-        formula = [formula] unless formula.is_a?(Array) || formula.nil?
-        return if formula.nil?
+        ox_nodes = Ox.load(text, strip_namespace: true).nodes
+        nodes = parse_nodes(ox_nodes)
+        Math::Formula.new(
+          Transform.new.apply(nodes).flatten.compact,
+        )
+      end
+
+      def parse_nodes(nodes)
+        nodes.map do |node|
+          next if node.is_a?(Ox::Comment)
 
-        Plurimath::Math::Formula.new(formula)
+          if node.is_a?(String)
+            node
+          elsif !node.attributes.empty?
+            {
+              node.name.to_sym => {
+                attributes: node.attributes.transform_keys(&:to_sym),
+                value: parse_nodes(node.nodes),
+              },
+            }
+          else
+            { node.name.to_sym => parse_nodes(node.nodes) }
+          end
+        end
       end
     end
   end