plurimath 0.7.1 → 0.8.0

data/lib/plurimath/unicode_math/parsing_rules/masked.rb

@@ -0,0 +1,62 @@
+# frozen_string_literal: true
+
+require_relative "helper"
+module Plurimath
+  class UnicodeMath
+    module ParsingRules
+      module Masked
+        include Helper
+
+        rule(:rect) { rect_symbols >> space? >> bracketed_masked_value(:rect) }
+        rule(:sqrt) { (sqrt_symbols.as(:root_symbol) >> (exp_script | operand).as(:first_value)).as(:root) }
+        rule(:qdrt) { (qdrt_symbols.as(:root_symbol) >> (exp_script | operand).as(:first_value)).as(:root) }
+        rule(:cbrt) { (cbrt_symbols.as(:root_symbol) >> (exp_script | operand).as(:first_value)).as(:root) }
+
+        rule(:color) { color_symbols >> space? >>  bracketed_masked_value(:color) }
+        rule(:phant) { phantom_symbols >> space? >> bracketed_masked_value(:phantom) }
+
+        rule(:backcolor)   { backcolor_symbols >> space? >> bracketed_masked_value(:backcolor) }
+
+        rule(:cbrt_symbols) { str("∛") | str("\\cbrt") }
+        rule(:qdrt_symbols) { str("∜") | str("\\cbrt") }
+        rule(:rect_symbols) { str("▭") | str("\\rect") }
+        rule(:sqrt_symbols) { str("√") | str("\\sqrt") | str("\\surd") }
+        rule(:root_symbols) { str("⒭") | str("√") | str("\\root") | str("\\surd") }
+        rule(:arg_function) do
+          str("ⓐ").as(:arg) >> str("(") >> a_ascii.as(:arg_arguments).maybe >> space? >> expression.as(:first_value).maybe >> str(")") |
+            str("ⓐ").as(:arg) >> a_ascii.as(:arg_arguments).maybe >> space? >> expression.as(:first_value).maybe
+        end
+
+        rule(:color_symbols)   { str("✎") | str("\\color") }
+        rule(:phantom_symbols) { str("⟡") | str("\\phantom") }
+        rule(:monospace_fonts) { (str("ￗ") >> str("(") >> match["^\)"].repeat(0).as(:monospace_value) >> str(")")).as(:monospace) }
+
+        rule(:backcolor_symbols) { str("☁") | str("\\backcolor") }
+        rule(:masked_recursive_value) { (space? >> expression | exp_bracket | exp_script).as(:expr) >> masked_recursive_value.as(:func_expr).maybe }
+
+        rule(:root_invisible_character?) { (str("\\naryand").absent? >> invisible_unicode).maybe }
+
+        rule(:nthrt) do
+          (sqrt_symbols >> str("(") >> masked_recursive_value.as(:first_value) >> str("&") >> masked_recursive_value.as(:second_value) >> str(")")).as(:root)
+        end
+
+        rule(:binary_root) do
+          root_symbols >> space? >> masked_recursive_value.as(:root_first_value) >> space? >> root_invisible_character? >> space? >> masked_recursive_value.as(:root_second_value)
+        end
+
+        rule(:intent_function) do
+          str("ⓘ").as(:intent) >> str("(").as(:open_paren) >> parsing_text.as(:intent_arguments).maybe >> space? >> expression.as(:first_value).maybe >> str(")").as(:close_paren) |
+            str("ⓘ").as(:intent) >> expression.as(:intent_expr)
+        end
+
+        def masked_value(func_name)
+          match["^&"].repeat(1).as(:"#{func_name}_value") >> str("&") >> masked_recursive_value.as(:first_value)
+        end
+
+        def bracketed_masked_value(func_name)
+          str("(") >> (masked_value(func_name).as(func_name)) >> str(")")
+        end
+      end
+    end
+  end
+end

data/lib/plurimath/unicode_math/parsing_rules/sub_sup.rb

@@ -0,0 +1,254 @@
+# frozen_string_literal: true
+
+require_relative "helper"
+module Plurimath
+  class UnicodeMath
+    module ParsingRules
+      module SubSup
+        include Helper
+
+        rule(:above) { (str("┴") | str("\\above")).as(:over) }
+        rule(:below) { (str("┬") | str("\\below")).as(:under) }
+
+        rule(:subscript) { base_value >> subscript_value }
+        rule(:supscript) { base_value >> supscript_value }
+
+        rule(:sub_or_sup)  { subscript | supscript }
+        rule(:base_symbol) { str("_") }
+        rule(:base_syntax) { base_symbol | below }
+        rule(:alpha_ascii) { match["A-Za-z"].as(:symbol) }
+        rule(:script_base) { mini_sub_sup | sub_sup_operand }
+
+        rule(:power_symbol) { str("^") }
+        rule(:power_syntax) { power_symbol | above }
+        rule(:sub_override) { (invisible_space? >> base_syntax >> op_size_overrides_symbols >> (operator_symbols.maybe >> baseless_sub_values(:sub_script))) }
+        rule(:sup_override) { (invisible_space? >> power_syntax >> op_size_overrides_symbols >> (operator_symbols.maybe >> baseless_sup_values(:sup_script))) }
+
+        rule(:sub_sup_paren) { sub_paren.as(:sub_paren) | sup_paren.as(:sup_paren) }
+        rule(:pre_subscript) { base_syntax >> prescript_values.as(:pre_subscript) | sub_paren.as(:pre_subscript) }
+        rule(:pre_supscript) { power_syntax >> prescript_values.as(:pre_supscript) | sup_paren.as(:pre_supscript) }
+
+        rule(:mini_sub_value) { (sub_sup_operand.as(:base) >> sub_paren.as(:sub)).as(:mini_sub) }
+        rule(:mini_sup_value) { (sub_sup_operand.as(:base) >> sup_paren.as(:sup)).as(:mini_sup) }
+
+        rule(:pre_script_base) { (operand.as(:base) >> (subsup | mini_subsup | subscript_value | supscript_value).maybe) }
+
+        rule(:sub_sup_override) { sub_override | sup_override }
+        rule(:operator_symbols) { combined_symbols | negatable_symbols | operator }
+        rule(:invisible_space?) { (invisible_unicode? >> invisible_times.maybe).maybe }
+        rule(:prescript_values) { operand | mini_sub_sup | operator_symbols | binary_symbols }
+
+        rule(:power_base_script) { (base_value >> subsup).as(:subsup_exp) | subscript.as(:sub_exp) | supscript.as(:sup_exp) }
+
+        rule(:mini_sub_sup_present?) { mini_sub_value.present? | mini_sup_value.present? | mini_subsup.present? }
+
+        rule(:subscript_value) do
+          (sub_paren | baseless_sub.as(:sub)) >> recursive_baseless_sub_exp.maybe
+        end
+
+        rule(:supscript_value) do
+          (sup_paren | baseless_sup.as(:sup)) >> recursive_baseless_sup_exp.maybe
+        end
+
+        rule(:pre_sub_sup_override) do
+          base_syntax >> op_size_overrides_symbols >> prescript_values.as(:pre_subscript) |
+            power_syntax >> op_size_overrides_symbols >> prescript_values.as(:pre_supscript)
+        end
+
+        rule(:naryand_recursion) do
+          (operator.absent? >> naryand_values >> naryand_recursion.as(:naryand_recursion).maybe) |
+            (slashed_operator >> naryand_recursion.as(:naryand_recursion).maybe)
+        end
+        
+        rule(:baseless_sub) do
+          (invisible_space? >> base_syntax >> op_size_overrides_symbols.absent? >> (operator_symbols.maybe >> baseless_sub_values(:sub_script))) |
+            (invisible_space? >> base_syntax >> op_size_overrides_symbols.absent? >> (operator_symbols >> recursive_baseless_sub_exp.maybe)) |
+            (invisible_space? >> base_syntax >> op_size_overrides_symbols.absent? >> (operator_symbols >> baseless_sub_values(:sub_script).maybe)) |
+            sub_paren.as(:sub_script)
+        end
+
+        rule(:baseless_sup) do
+          (invisible_space? >> power_syntax >> op_size_overrides_symbols.absent? >> (operator_symbols.maybe >> baseless_sup_values(:sup_script))) |
+            (invisible_space? >> power_syntax >> op_size_overrides_symbols.absent? >> (operator_symbols >> recursive_baseless_sup_exp.maybe)) |
+            (invisible_space? >> power_syntax >> op_size_overrides_symbols.absent? >> (operator_symbols >> baseless_sup_values(:sup_script).maybe)) |
+            sup_paren.as(:sup_script)
+        end
+
+        rule(:recursive_baseless_sup_exp) do
+          (mini_sub_sup >> recursive_baseless_sup_exp.as(:exp_iteration).maybe) |
+            (baseless_sup.as(:sup_recursion) >> recursive_baseless_sup_exp.as(:exp_iteration).maybe)
+        end
+
+        rule(:recursive_baseless_sub_exp) do
+          (mini_sub_sup >> recursive_baseless_sub_exp.as(:exp_iteration).maybe) |
+            (baseless_sub.as(:sub_recursion) >> recursive_baseless_sub_exp.as(:exp_iteration).maybe)
+        end
+
+        rule(:naryand_values) do
+          fraction.as(:frac) |
+            (exp_bracket >> (subsup | subscript_value | supscript_value).maybe) |
+            (exp_script >> space?) |
+            negatable_symbols.absent? >> sub_sup_operand
+        end
+
+        rule(:mini_sub_sup) do
+          mini_sub_sup_present? >> (
+            (sub_sup_operand.as(:base) >> mini_subsup).as(:mini_sub_sup) |
+            mini_sub_value |
+            mini_sup_value
+          )
+        end
+
+        rule(:nary_sub_sup) do
+          (power_base_script.as(:nary_sub_sup) >> invisible_space? >> naryand_recursion.as(:naryand).maybe) |
+            (op_nary >> invisible_space? >> naryand_recursion.as(:naryand).maybe)
+        end
+
+        rule(:unary_sub_sup) do
+          ((power_base_script | mini_sub_sup).as(:unary_sub_sup) >> (invisible_space? >> space?) >> expression.as(:first_value).maybe) |
+            (op_unary_functions >> (invisible_space? >> space?) >> expression.as(:first_value).maybe)
+        end
+
+        rule(:base_value) do
+          op_nary.present? >> op_nary >> invisible_space? >> number.as(:mask).maybe |
+            script_base.as(:base) >> invisible_space?
+        end
+
+        rule(:subsup) do
+          op_size_overrides_symbols.absent? >> baseless_sub.as(:sub) >> (sup_override.as(:sup) | baseless_sup.as(:sup)) |
+            op_size_overrides_symbols.absent? >> baseless_sup.as(:sup) >> (sub_override.as(:sub) | baseless_sub.as(:sub)) |
+            (sub_override.as(:sub) | baseless_sub.as(:sub)) >> baseless_sup.as(:sup) |
+            (sup_override.as(:sup) | baseless_sup.as(:sup)) >> baseless_sub.as(:sub)
+        end
+
+        rule(:mini_subsup) do
+          sub_paren.as(:sub) >> sup_paren.as(:sup) |
+            sup_paren.as(:sup) >> sub_paren.as(:sub)
+        end
+
+        rule(:accents_subsup) do
+          baseless_sub.as(:sub) >> baseless_sup.as(:sup) |
+            baseless_sup.as(:sup) >> baseless_sub.as(:sub) |
+            sub_paren.as(:sub) >> sup_paren.as(:sup) |
+            sup_paren.as(:sup) >> sub_paren.as(:sub) |
+            baseless_sub.as(:sub) |
+            baseless_sup.as(:sup) |
+            sub_paren.as(:sub) |
+            sup_paren.as(:sup)
+        end
+
+        rule(:mini_power_base) do
+          sup_paren.as(:pre_supscript) >> sub_paren.as(:pre_subscript).maybe >> mini_values.as(:mini_base) >> sub_paren.as(:mini_sub).maybe >> mini_values.as(:mini_sup) |
+            sub_paren.as(:pre_subscript) >> sup_paren.as(:pre_supscript).maybe >> mini_values.as(:mini_base) >> sup_paren.as(:mini_sup).maybe >> mini_values.as(:mini_sub) |
+            mini_values.as(:mini_base) >> sub_paren.as(:mini_sub) >> mini_values.as(:mini_sup) |
+            mini_values.as(:mini_base) >> sup_paren.as(:mini_sup) >> sub_paren.as(:mini_sub) |
+            mini_values.as(:mini_base) >> mini_values.as(:mini_sup) |
+            mini_values.as(:mini_base) >> sub_paren.as(:mini_sub)
+        end
+
+        rule(:mini_values) do
+          op_sup_operators |
+          op_sub_operators |
+          op_sup_digits |
+          op_sub_digits |
+          op_sup_alpha |
+          op_sub_alpha
+        end
+
+        rule(:exp_script) do
+          op_nary.present? >> nary_sub_sup.as(:nary) |
+            op_unary_functions.present? >> unary_sub_sup.as(:unary_subsup) |
+            accents.present? >> (accents.as(:base) >> accents_subsup).as(:accents_subsup) |
+            power_base_script |
+            (base_value >> sub_sup_override).as(:override_subsup) |
+            pre_sub_sup_override.as(:pre_override_subsup) >> pre_script_base |
+            (paren_wrap_rule(pre_subsup) >> space? >> pre_script_base).as(:pre_script) |
+            mini_sub_sup |
+            mini_power_base
+        end
+
+        rule(:pre_subsup) do
+          pre_subscript >> pre_supscript |
+            pre_supscript >> pre_subscript |
+            pre_subscript |
+            pre_supscript
+        end
+
+        rule(:sub_sup_operand) do
+          binary_symbols |
+            accents |
+            op_unary_functions >> invisible_unicode? |
+            alpha_numeric_values |
+            number |
+            an_math |
+            other |
+            exp_bracket |
+            parsing_text |
+            negatable_symbols |
+            soperand |
+            (str("|") | str("′")).as(:symbol)
+        end
+
+        rule(:sub_alpha_digits) do
+          (op_sub_digits >> op_sub_alpha).as(:expr) >> sub_paren.as(:sub_recursion).maybe |
+            (op_sub_alpha >> op_sub_digits).as(:expr) >> sub_paren.as(:sub_recursion).maybe |
+            op_sub_alpha >> sub_paren.as(:sub_recursion_expr).maybe |
+            op_sub_digits >> sub_paren.as(:sub_recursion_expr).maybe |
+            op_sub_operators >> sub_paren.as(:sub_recursions).maybe
+        end
+
+        rule(:sup_alpha_digits) do
+          (op_sup_digits >> op_sup_alpha).as(:expr) >> sup_paren.as(:sup_recursion).maybe |
+            (op_sup_alpha >> op_sup_digits).as(:expr) >> sup_paren.as(:sup_recursion).maybe |
+            op_sup_alpha >> sup_paren.as(:sup_recursion_expr).maybe |
+            op_sup_digits >> sup_paren.as(:sup_recursion_expr).maybe |
+            op_sup_operators >> sup_paren.as(:sup_recursions).maybe
+        end
+
+        rule(:sub_paren) do
+          (op_sub_open_paren >> sub_alpha_digits.as(:mini_expr) >> op_sub_close_paren).as(:mini_intermediate_exp) >> sub_paren.maybe |
+            sub_alpha_digits >> sub_paren.maybe
+        end
+
+        rule(:sup_paren) do
+          (op_sup_open_paren >> sup_alpha_digits.as(:mini_expr) >> op_sup_close_paren).as(:mini_intermediate_exp) >> sup_paren.maybe |
+            sup_alpha_digits >> sup_paren.maybe
+        end
+
+        rule(:sub_sup_values) do
+          (operator_symbols.as(:expr) >> (((mini_sub_sup | sub_or_sup) >> space?) >> bracketed_soperand.maybe)) |
+            (operator_symbols.as(:expr) >> bracketed_soperand) |
+            (((primes | prefixed_primes).as(:symbol).as(:first_value) >> repeated_accent_symbols).as(:accents) >> (sub_or_sup.maybe >> space? >> bracketed_soperand).maybe) |
+            bracketed_soperand >> operator_symbols.absent? >> sub_sup_values.as(:expr).maybe |
+            sub_sup_binary_absent >> operator_symbols.absent? >> sub_sup_values.as(:expr).maybe |
+            bracketed_soperand |
+            prefixed_primes |
+            primes |
+            sub_sup_binary_absent
+        end
+
+        rule(:alpha_numeric_values) do
+          alpha_ascii >> alpha_numeric_values.as(:expr) |
+          (number | n_ascii) >> alpha_numeric_values.as(:expr) |
+          alpha_ascii |
+          (number | n_ascii)
+        end
+
+        def paren_wrap_rule(passed_rule)
+          (op_opener >> space? >> passed_rule >> space? >> op_closer) |
+            passed_rule
+        end
+
+        def baseless_sub_values(soperand_name)
+          (mini_sub_sup | sub_sup_paren).as(soperand_name) >> recursive_baseless_sub_exp.maybe >> sub_sup_values.maybe |
+            sub_sup_values.as(soperand_name) >> recursive_baseless_sub_exp.maybe
+        end
+
+        def baseless_sup_values(soperand_name)
+          (mini_sub_sup | sub_sup_paren).as(soperand_name) >> recursive_baseless_sup_exp.maybe >> sub_sup_values.maybe |
+            sub_sup_values.as(soperand_name) >> recursive_baseless_sup_exp.maybe
+        end
+      end
+    end
+  end
+end