plurimath 0.1.0 → 0.2.0

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 9d753ecd87f98bee9b8ce86a97c884f6faf5d80054779b0e614b81cee83f122c
-  data.tar.gz: 48e00ea65c235d43ec0acf12dc89a6491bc3bea261bfdc2930c54f6772b8e684
+  metadata.gz: b38da6a872ab566412690e3f08859d3ba4935409fad521a74f36a5fb972eaf90
+  data.tar.gz: e4f009d832c64605123611924b34ee3f794ebf57fc2296e8cb3f4d0fd522b76f
 SHA512:
-  metadata.gz: '08c01a96cc02476603a6a0cece4703fdd096ea166eb4e2117e185ff8a5dfc2dcb05a6a8a6f2f6526a208763ad2129bfd22d63a1121e347554cfb042deb171798'
-  data.tar.gz: 5893839b6b1523b2a6610f32e0af5cf67a15340542d031b909aa03b04487f4482fb61f5c33e8ebf3538013d661561c0f0888028bc036937bf1f1a240f5d2b91f
+  metadata.gz: 28c3682a4a1c8132213cdfddbca0c463d822811fe396b77d5062bea96148ba880970ae2d5c4e255eea4666c7b34a8b9b0854ef27896dfb7443b56088d26fc793
+  data.tar.gz: e4e135b39e22960e2a3d7841bcc15ec82a3aad9c3f3876d648d24b608b2baae450b42a30c799813e57506e01216ba4038bca7d7cd0fac2b32d15fec3e899827b

data/.github/workflows/test.yml

@@ -0,0 +1,36 @@
+name: test
+
+on:
+  push:
+    branches: [ master ]
+    tags:
+      - '*'
+  pull_request:
+    paths-ignore:
+      - .github/workflows/macos.yml
+      - .github/workflows/windows.yml
+
+jobs:
+  test-linux:
+    name: Test on Ruby ${{ matrix.ruby }} ${{ matrix.os }}
+    runs-on: ${{ matrix.os }}
+    continue-on-error: ${{ matrix.experimental }}
+    strategy:
+      fail-fast: false
+      matrix:
+        ruby: [ '2.6', '2.7', '3.0' ]
+        os: [ 'macos-latest', 'ubuntu-latest', 'windows-latest']
+        experimental: [false]
+    steps:
+      - uses: actions/checkout@master
+      - name: Use Ruby
+        uses: ruby/setup-ruby@v1
+        with:
+          ruby-version: ${{ matrix.ruby }}
+      - name: Update gems
+        run: |
+          gem install bundler
+          bundle install --jobs 4 --retry 3
+      - name: Run specs
+        run: |
+          bundle exec rake

data/.rubocop.yml

@@ -0,0 +1,2 @@
+inherit_from:
+  - https://raw.githubusercontent.com/riboseinc/oss-guides/master/ci/rubocop.yml

data/lib/plurimath/asciimath/constants.rb

@@ -0,0 +1,308 @@
+# frozen_string_literal: true
+
+module Plurimath
+  class Asciimath
+    class Constants
+      PARENTHESIS = {
+        "(": ")",
+        "(:": ":)",
+        "{": "}",
+        "{:": ":}",
+        "[": "]",
+      }.freeze
+      SYMBOLS = %i[
+        twoheadrightarrowtail
+        twoheadrightarrow
+        rightarrowtail
+        Leftrightarrow
+        leftrightarrow
+        varepsilon
+        Rightarrow
+        rightarrow
+        Leftarrow
+        leftarrow
+        backslash
+        downarrow
+        therefore
+        triangle
+        vartheta
+        bigwedge
+        rceiling
+        lceiling
+        setminus
+        supseteq
+        subseteq
+        emptyset
+        "|\\ |"
+        upsilon
+        diamond
+        uparrow
+        implies
+        partial
+        epsilon
+        because
+        |cdots|
+        |ldots|
+        bigcap
+        bigvee
+        propto
+        approx
+        exists
+        forall
+        otimes
+        ltimes
+        bowtie
+        rtimes
+        models
+        mapsto
+        bigcup
+        lambda
+        Lambda
+        "(x:}"
+        "{:x)"
+        succeq
+        preceq
+        varphi
+        rfloor
+        lfloor
+        square
+        |quad|
+        supset
+        subset
+        vdash
+        times
+        wedge
+        oplus
+        alpha
+        nabla
+        delta
+        theta
+        gamma
+        Gamma
+        Delta
+        Theta
+        kappa
+        ddots
+        vdots
+        |...|
+        equiv
+        Sigma
+        Omega
+        omega
+        aleph
+        infty
+        sigma
+        frown
+        notin
+        angle
+        succ
+        prec
+        cong
+        \\\\
+        star
+        odot
+        cdot
+        rarr
+        darr
+        prop
+        lArr
+        rArr
+        uarr
+        beta
+        hArr
+        harr
+        larr
+        grad
+        circ
+        >->>
+        zeta
+        iota
+        /_\\
+        sube
+        sup
+        sub
+        !in
+        eta
+        top
+        |><|
+        __|
+        |__
+        ":'"
+        Phi
+        supe
+        Psi
+        psi
+        chi
+        >-=
+        -<=
+        mgt
+        mlt
+        ><|
+        |==
+        |--
+        vvv
+        vee
+        nnn
+        cap
+        ^^^
+        div
+        ast
+        bot
+        del
+        and
+        neg
+        not
+        uuu
+        cup
+        iff
+        phi
+        rho
+        tau
+        |->
+        >->
+        <=>
+        ->>
+        ^^
+        nn
+        vv
+        TT
+        EE
+        ox
+        xx
+        o+
+        o.
+        |><
+        _|_
+        ***
+        **
+        -:
+        ~~
+        //
+        pm
+        O/
+        ->
+        =>
+        +-
+        to
+        Xi
+        AA
+        if
+        uu
+        or
+        lt
+        ne
+        nu
+        mu
+        ZZ
+        RR
+        QQ
+        NN
+        CC
+        >>
+        <<
+        ~|
+        !=
+        >-
+        -<
+        ~=
+        -=
+        pi
+        xi
+        oo
+        Pi
+        :.
+        gg
+        ll
+        ge
+        >=
+        le
+        <=
+        gt
+        |~
+        in
+        /_
+        >
+        @
+        /
+        *
+        -
+        <
+        =
+        +
+      ].freeze
+      UNARY_CLASSES = %i[
+        arccos
+        arcsin
+        arctan
+        ubrace
+        obrace
+        cancel
+        tilde
+        floor
+        ceil
+        ddot
+        coth
+        csch
+        sech
+        sinh
+        tanh
+        cosh
+        sqrt
+        norm
+        text
+        sec
+        sin
+        tan
+        cos
+        exp
+        gcd
+        glb
+        lcm
+        lub
+        cot
+        csc
+        det
+        dim
+        max
+        min
+        abs
+        bar
+        dot
+        hat
+        vec
+        ul
+        ln
+        f
+        g
+      ].freeze
+      BINARY_CLASSES = %i[
+        underset
+        stackrel
+        overset
+        color
+        prod
+        frac
+        root
+        oint
+        int
+        sum
+        mod
+        log
+      ].freeze
+      FONT_STYLES = %i[
+        mathfrak
+        mathcal
+        mathbb
+        mathsf
+        mathtt
+        mathbf
+        bbb
+        bb
+        fr
+        cc
+        sf
+        tt
+      ].freeze
+    end
+  end
+end

data/lib/plurimath/asciimath/parse.rb

@@ -0,0 +1,87 @@
+# frozen_string_literal: true
+
+require "parslet"
+module Plurimath
+  class Asciimath
+    class Parse < Parslet::Parser
+      rule(:base)    { str("_").as(:_) }
+
+      rule(:power)   { str("^").as(:^) }
+
+      rule(:symbols) { arr_to_expression(Constants::SYMBOLS, :symbol) }
+
+      rule(:unary_functions) { arr_to_expression(Constants::UNARY_CLASSES) }
+
+      rule(:font_style) { arr_to_expression(Constants::FONT_STYLES, :fonts) }
+
+      rule(:binary_functions) { arr_to_expression(Constants::BINARY_CLASSES) }
+
+      rule(:lparen) do
+        Constants::PARENTHESIS.keys.reduce do |expression, parenthesis|
+          expression = str(expression) if expression.is_a?(Symbol)
+          expression | str(parenthesis)
+        end
+      end
+
+      rule(:rparen) do
+        Constants::PARENTHESIS.values.reduce do |expression, parenthesis|
+          expression = str(expression) if expression.is_a?(String)
+          expression | str(parenthesis)
+        end
+      end
+
+      rule(:quoted_text) do
+        str('"') >> match("[^\"]").repeat.as(:text) >> str('"')
+      end
+
+      rule(:symbol_text_or_integer) do
+        binary_functions |
+          unary_functions |
+          symbols |
+          quoted_text |
+          match["a-zA-Z"].as(:symbol) |
+          match("[0-9]").repeat(1).as(:number)
+      end
+
+      rule(:sequence) do
+        (lparen >> expression >> rparen).as(:intermediate_exp) |
+          (binary_functions >> sequence.as(:base) >> sequence.maybe.as(:exponent)).as(:binary) |
+          (str("text") >> lparen.capture(:paren) >> read_text >> rparen) |
+          (unary_functions >> sequence).as(:unary) |
+          (font_style >> sequence).as(:fonts) |
+          symbol_text_or_integer
+      end
+
+      rule(:iteration) do
+        (sequence.as(:dividend) >> str("mod").as(:mod) >> sequence.as(:divisor)).as(:mod) |
+          (sequence >> base >> sequence.as(:base) >> power >> sequence.as(:exponent)).as(:power_base) |
+          (sequence >> base >> sequence).as(:base) |
+          (sequence >> power >> sequence).as(:power) |
+          sequence.as(:sequence) |
+          str(" ")
+      end
+
+      rule(:expression) do
+        (iteration >> expression).as(:expr) |
+          (iteration >> str("/").as(:/) >> iteration).as(:expr) |
+          str("")
+      end
+
+      root :expression
+
+      def arr_to_expression(arr, name = nil)
+        arr.reduce do |expression, expr_string|
+          expression = str(expression).as(name || expression) if expression.is_a?(Symbol)
+          expression | str(expr_string).as(name || expr_string)
+        end
+      end
+
+      def read_text
+        dynamic do |_sour, context|
+          rparen = Constants::PARENTHESIS[context.captures[:paren].to_sym]
+          match("[^#{rparen}]").repeat.as(:text)
+        end
+      end
+    end
+  end
+end

data/lib/plurimath/asciimath/parser.rb

@@ -0,0 +1,24 @@
+# frozen_string_literal: true
+
+require_relative "parse"
+require_relative "constants"
+require_relative "transform"
+module Plurimath
+  class Asciimath
+    class Parser
+      attr_accessor :text
+
+      def initialize(text)
+        @text = text
+      end
+
+      def parse
+        nodes = Parse.new.parse(text)
+        transformed_tree = Plurimath::Asciimath::Transform.new.apply(nodes)
+        return transformed_tree if transformed_tree.is_a?(Plurimath::Math::Formula)
+
+        Plurimath::Math::Formula.new(transformed_tree)
+      end
+    end
+  end
+end