math2tex 1.0.0__tar.gz

math2tex-1.0.0/.gitignore

@@ -0,0 +1,67 @@
+# Byte-compiled / optimized / DLL files
+__pycache__/
+*.py[cod]
+*$py.class
+
+# C extensions
+*.so
+
+# Distribution / packaging
+.Python
+build/
+develop-eggs/
+dist/
+downloads/
+eggs/
+.eggs/
+lib/
+lib64/
+parts/
+sdist/
+var/
+wheels/
+share/python-wheels/
+*.egg-info/
+.installed.cfg
+*.egg
+MANIFEST
+
+# PyInstaller
+*.manifest
+*.spec
+
+# Installer logs
+pip-log.txt
+pip-delete-this-directory.txt
+
+# Unit test / coverage reports
+htmlcov/
+.tox/
+.nox/
+.coverage
+.coverage.*
+.cache
+nosetests.xml
+coverage.xml
+*.cover
+*.pycover
+.hypothesis/
+.pytest_cache/
+cover/
+
+# Virtual environments
+.venv
+venv/
+ENV/
+env/
+env.bak/
+venv.bak/
+
+# IDEs
+.idea/
+.vscode/
+*.swp
+*.swo
+
+legacy_out.txt
+test.in

math2tex-1.0.0/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 NicknamedTwice
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

math2tex-1.0.0/PKG-INFO

@@ -0,0 +1,135 @@
+Metadata-Version: 2.4
+Name: math2tex
+Version: 1.0.0
+Summary: A high-performance compiler for translating plaintext mathematics into LaTeX.
+Author: NicknamedTwice
+License: MIT License
+License-File: LICENSE
+Requires-Python: >=3.8
+Description-Content-Type: text/markdown
+
+# math2tex
+
+A compiler that converts plaintext mathematical notation into LaTeX.
+
+`math2tex` is a recursive-descent parser written in Python. It translates mathematical expressions written in plain text into valid LaTeX while preserving operator precedence and mathematical structure. It supports everything from basic algebra to calculus, complex analysis, matrices, piecewise functions, and user-defined macros.
+
+**Note:** The generated LaTeX uses commands provided by the `physics` package (for example `\dd{x}` and `\abs{x}`). Add the following to your document preamble:
+
+```latex
+\usepackage{physics}
+```
+
+## Features
+
+- Correct handling of operator precedence and associativity.
+- User-defined macros.
+- Support for fractions, powers, roots, sums, products, limits, derivatives, and integrals.
+- Support for matrices and piecewise functions.
+- Recursive-descent parser with an Abstract Syntax Tree (AST).
+- Comprehensive automated test suite.
+
+## Installation
+
+Install from a local clone:
+
+```bash
+pip install .
+```
+
+Or install from PyPI:
+
+```bash
+pip install math2tex
+```
+
+## Usage
+
+Start the interactive command-line interface:
+
+```bash
+math2tex
+```
+
+You can then enter mathematical expressions and receive the corresponding LaTeX output.
+
+## Examples
+
+### Abel–Plana Formula
+
+**Input**
+
+```text
+sum_(n=0)^inf f(n) = int_0^inf f(x) dx + 1/2 f(0) + i int_0^inf (f(i y) - f(-i y)) / (e^(2 pi y) - 1) dy
+```
+
+**Output**
+
+```latex
+\sum_{n=0}^{\infty} f(n)=\int_{0}^{\infty} f(x)\dd{x}+\frac{1}{2}f(0)+i\int_{0}^{\infty}\frac{f(iy)-f(-iy)}{e^{2\pi y}-1}\dd{y}
+```
+
+### Contour Integral
+
+**Input**
+
+```text
+oint_C f(z) dz = 2 pi i sum Res(f, a_k)
+```
+
+**Output**
+
+```latex
+\oint_{C}f(z)\dd{z}=2\pi i\sum \operatorname{Res}(f,a_{k})
+```
+
+### Nested Fractions
+
+**Input**
+
+```text
+1 / (1 + 1 / (1 + x))
+```
+
+**Output**
+
+```latex
+\frac{1}{1+\frac{1}{1+x}}
+```
+
+### Matrix
+
+**Input**
+
+```text
+[[1, 2], [3, 4]]
+```
+
+**Output**
+
+```latex
+\begin{pmatrix}
+1 & 2 \\
+3 & 4
+\end{pmatrix}
+```
+
+## Project Structure
+
+- **lexer.py** – Converts input text into a stream of tokens.
+- **parser.py** – Builds an Abstract Syntax Tree (AST) from the token stream.
+- **ast_nodes.py** – Defines the AST node types.
+- **macros.py** – Handles user-defined macro expansion.
+- **formatter.py** – Converts the AST into LaTeX.
+
+## Testing
+
+Run the test suite with:
+
+```bash
+pytest
+```
+
+## License
+
+This project is licensed under the MIT License. See `LICENSE` for details.

math2tex-1.0.0/README.md

@@ -0,0 +1,125 @@
+# math2tex
+
+A compiler that converts plaintext mathematical notation into LaTeX.
+
+`math2tex` is a recursive-descent parser written in Python. It translates mathematical expressions written in plain text into valid LaTeX while preserving operator precedence and mathematical structure. It supports everything from basic algebra to calculus, complex analysis, matrices, piecewise functions, and user-defined macros.
+
+**Note:** The generated LaTeX uses commands provided by the `physics` package (for example `\dd{x}` and `\abs{x}`). Add the following to your document preamble:
+
+```latex
+\usepackage{physics}
+```
+
+## Features
+
+- Correct handling of operator precedence and associativity.
+- User-defined macros.
+- Support for fractions, powers, roots, sums, products, limits, derivatives, and integrals.
+- Support for matrices and piecewise functions.
+- Recursive-descent parser with an Abstract Syntax Tree (AST).
+- Comprehensive automated test suite.
+
+## Installation
+
+Install from a local clone:
+
+```bash
+pip install .
+```
+
+Or install from PyPI:
+
+```bash
+pip install math2tex
+```
+
+## Usage
+
+Start the interactive command-line interface:
+
+```bash
+math2tex
+```
+
+You can then enter mathematical expressions and receive the corresponding LaTeX output.
+
+## Examples
+
+### Abel–Plana Formula
+
+**Input**
+
+```text
+sum_(n=0)^inf f(n) = int_0^inf f(x) dx + 1/2 f(0) + i int_0^inf (f(i y) - f(-i y)) / (e^(2 pi y) - 1) dy
+```
+
+**Output**
+
+```latex
+\sum_{n=0}^{\infty} f(n)=\int_{0}^{\infty} f(x)\dd{x}+\frac{1}{2}f(0)+i\int_{0}^{\infty}\frac{f(iy)-f(-iy)}{e^{2\pi y}-1}\dd{y}
+```
+
+### Contour Integral
+
+**Input**
+
+```text
+oint_C f(z) dz = 2 pi i sum Res(f, a_k)
+```
+
+**Output**
+
+```latex
+\oint_{C}f(z)\dd{z}=2\pi i\sum \operatorname{Res}(f,a_{k})
+```
+
+### Nested Fractions
+
+**Input**
+
+```text
+1 / (1 + 1 / (1 + x))
+```
+
+**Output**
+
+```latex
+\frac{1}{1+\frac{1}{1+x}}
+```
+
+### Matrix
+
+**Input**
+
+```text
+[[1, 2], [3, 4]]
+```
+
+**Output**
+
+```latex
+\begin{pmatrix}
+1 & 2 \\
+3 & 4
+\end{pmatrix}
+```
+
+## Project Structure
+
+- **lexer.py** – Converts input text into a stream of tokens.
+- **parser.py** – Builds an Abstract Syntax Tree (AST) from the token stream.
+- **ast_nodes.py** – Defines the AST node types.
+- **macros.py** – Handles user-defined macro expansion.
+- **formatter.py** – Converts the AST into LaTeX.
+
+## Testing
+
+Run the test suite with:
+
+```bash
+pytest
+```
+
+## License
+
+This project is licensed under the MIT License. See `LICENSE` for details.

math2tex-1.0.0/examples/run_examples.py

@@ -0,0 +1,130 @@
+import subprocess
+import sys
+from pathlib import Path
+
+GREEN = "\033[92m"
+RED = "\033[91m"
+YELLOW = "\033[93m"
+RESET = "\033[0m"
+BOLD = "\033[1m"
+
+
+def load_tests(path):
+    tests = []
+
+    for line in path.read_text(encoding="utf8").splitlines():
+        line=line.strip()
+
+        if not line or line.startswith("#"):
+            continue
+
+        if "=" not in line:
+            continue
+
+        expr, expected = line.rsplit("=",1)
+
+        tests.append(
+            (
+                expr.strip(),
+                expected.strip()
+            )
+        )
+
+    return tests
+
+
+def run_math2tex(expr):
+    code = f"""
+from math2tex import math2tex
+print(math2tex({expr!r}))
+"""
+
+    result = subprocess.run(
+        [
+            sys.executable,
+            "-c",
+            code
+        ],
+        capture_output=True,
+        text=True
+    )
+
+    return result.stdout.strip()
+
+
+def main():
+
+    tests = load_tests(
+        Path(__file__).parent / "tests.txt"
+    )
+
+    passed=0
+    failed=0
+
+
+    print(BOLD+"Running math2tex examples..."+RESET)
+    print()
+
+
+    for i,(expr,expected) in enumerate(tests,1):
+
+        actual = run_math2tex(expr)
+
+        if actual == expected:
+            print(
+                GREEN+
+                f"OK  {i:03} PASS"+
+                RESET,
+                expr
+            )
+            passed+=1
+
+        else:
+            print(
+                RED+
+                f"ERR {i:03} FAIL"+
+                RESET,
+                expr
+            )
+
+            print(
+                YELLOW+
+                " expected:",
+                expected,
+                RESET
+            )
+
+            print(
+                YELLOW+
+                " actual:  ",
+                actual,
+                RESET
+            )
+
+            print()
+
+            failed+=1
+
+
+    print("="*60)
+
+    print(
+        GREEN+
+        f"Passed: {passed}"+
+        RESET
+    )
+
+    print(
+        RED+
+        f"Failed: {failed}"+
+        RESET
+    )
+
+
+    if failed:
+        sys.exit(1)
+
+
+
+if __name__=="__main__":
+    main()

math2tex-1.0.0/examples/tests.txt

@@ -0,0 +1,119 @@
+# --- 1. Deep Nesting & Extreme Fractions ---
+(((a))) = a
+(a/b)/(c/d)/(e/f) = \frac{\frac{\frac{a}{b}}{\frac{c}{d}}}{\frac{e}{f}}
+1/(1+1/(1+1/x)) = \frac{1}{1+\frac{1}{1+\frac{1}{x}}}
+sqrt(sqrt(sqrt(x))) = \sqrt{\sqrt{\sqrt{x}}}
+root(3, root(4, x)) = \sqrt[3]{\sqrt[4]{x}}
+(x+y)/(x-y) + (x-y)/(x+y) = \frac{x+y}{x-y}+\frac{x-y}{x+y}
+((x^2)^3)^4 = \left(\left(x^{2}\right)^{3}\right)^{4}
+a / b / c / d = \frac{\frac{\frac{a}{b}}{c}}{d}
+(a/(b/c))/d = \frac{\frac{a}{\frac{b}{c}}}{d}
+1/2 x = \frac{1}{2} x
+
+# --- 2. Exponents, Subscripts, and Primes ---
+x^y^z^w = x^{y^{z^{w}}}
+a_b_c_d = a_{b_{c_{d}}}
+x_i^2 = x_{i}^{2}
+x^2_i = x^{2}_{i}
+f'''(x) = f'''(x)
+g''''(x) = g''''(x)
+y'_n^2 = y'_{n}^{2}
+(x_i^2)^3 = \left(x_{i}^{2}\right)^{3}
+e^(-i pi) + 1 = e^{-i \pi}+1
+e^(x^2 + y^2) = e^{x^{2}+y^{2}}
+
+# --- 3. Trigonometric, Hyperbolic & Logarithmic ---
+sin(cos(tan(x))) = \sin(\cos(\tan(x)))
+arcsin(x) + arccos(x) = \arcsin(x)+\arccos(x)
+sinh(x) cosh(y) = \sinh(x) \cosh(y)
+tanh(x) coth(y) = \tanh(x) \coth(y)
+ln(exp(x)) = \ln(e^{x})
+log(x^2) = \log(x^{2})
+sin^2(x) + cos^2(x) = \sin^{2}(x)+\cos^{2}(x)
+sec(x) csc(x) = \sec(x) \csc(x)
+arctan(y/x) = \arctan\left(\frac{y}{x}\right)
+sin(x) / cos(x) = \frac{\sin(x)}{\cos(x)}
+
+# --- 4. Complex Analysis & Improper Integrals ---
+oint_C f(z)/(z-a) dz = \oint_{C}\frac{f(z)}{z-a}\dd{z}
+integral_(-infty)^infty e^(-x^2) dx = \int_{-\infty}^{\infty} e^{(-x)^{2}}\dd{x}
+iiint_V curl F cdot dS = \iiint_{V} \curl F \cdot \dd{S}
+integral_0^infty x^(z-1) e^(-x) dx = \int_{0}^{\infty} x^{z-1} e^{-x}\dd{x}
+Re(z) + i Im(z) = \Re(z)+i \Im(z)
+norm(z_1 + z_2) = \norm{z_{1}+z_{2}}
+abs(z_1 z_2) = \abs{z_{1} z_{2}}
+integral_0^infty sin(x)/x dx = \int_{0}^{\infty}\frac{\sin(x)}{x}\dd{x}
+oint_gamma (e^z)/z dz = \oint_{\gamma}\frac{e^{z}}{z}\dd{z}
+oiint_S E cdot dA = \oiint_{S} E \cdot \dd{A}
+
+# --- 5. Combinatorics, Factorials & Postfix ---
+n! / (k! (n-k)!) = \frac{n!}{k!\left(n-k\right)!}
+(2n)! / (n! n!) = \frac{\left(2n\right)!}{n! n!}
+n choose k = \binom{n}{k}
+binom(n+1, k+1) = \binom{n+1}{k+1}
+n! ! = n!!
+(x+1)! = \left(x+1\right)!
+floor(x) + ceil(y) = \left\lfloor x\right\rfloor+\left\lceil y\right\rceil
+abs(-x) = \abs{-x}
+norm(x-y) = \norm{x-y}
+(n-1) choose (k-1) = \binom{n-1}{k-1}
+
+# --- 6. Vectors, Accents, and Fonts ---
+vec(v) cdot vec(w) = \vec{v} \cdot \vec{w}
+vec(v) cross vec(w) = \vec{v} \times \vec{w}
+hat(i) + hat(j) + hat(k) = \hat{i}+\hat{j}+\hat{k}
+ddot(x) + omega^2 x = \ddot{x}+\omega^{2} x
+bar(z_1 + z_2) = \bar{z_{1}+z_{2}}
+tilde(f)(xi) = \tilde{f}(\xi)
+mathbb(R) subset mathbb(C) = \mathbb{R} \subset \mathbb{C}
+mathcal(O)(n log n) = \mathcal{O}(n \log n)
+mathbf(A) mathbf(x) = \mathbf{A} \mathbf{x}
+mathfrak(g) oplus mathfrak(h) = \mathfrak{g} \oplus \mathfrak{h}
+
+# --- 7. Big Operators (Without Equals Signs) ---
+sum_(i>0)^n i^2 = \sum_{i>0}^{n} i^{2}
+prod_(p in P) (1 - 1/p^s) = \prod_{p \in P}\left(1-\frac{1}{p^{s}}\right)
+lim_(x -> 0) sin(x)/x = \lim_{x\to 0}\frac{\sin(x)}{x}
+limsup_(n -> infty) x_n = \limsup_{n\to \infty} x_{n}
+liminf_(n -> 0) y_n = \liminf_{n\to 0} y_{n}
+sup_(x in S) f(x) = \sup_{x \in S} f(x)
+inf_(x > 0) g(x) = \inf_{x>0} g(x)
+sum_(n>0)^infty f(n) = \sum_{n>0}^{\infty} f(n)
+prod_(k>1)^N (1-1/k) = \prod_{k>1}^{N}\left(1-\frac{1}{k}\right)
+lim_(h -> 0) (f(x+h)-f(x))/h = \lim_{h\to 0}\frac{f\left(x+h\right)-f(x)}{h}
+
+# --- 8. Derivatives (Partial, Mixed, High-order) ---
+d/dx (u v) = \dv{u v}{x}
+d^2/dt^2 x(t) = \dv[2]{x(t)}{t}
+partial/partial x f(x,y) = \pdv{f(x,y)}{x}
+partial^2 f / partial x partial y = \pdv{f}{x}{y}
+partial^3 f / partial x^3 = \pdv[3]{f}{x}
+nabla f = \nabla f
+nabla^2 phi = \nabla^{2} \phi
+laplacian u = \laplacian u
+curl vec(F) = \curl \vec{F}
+grad f = \grad f
+
+# --- 9. Logical, Relational, and Set Theory ---
+A cup B cup C = A \cup B \cup C
+X cap Y cap Z = X \cap Y \cap Z
+x in A implies x in B = x \in A \implies x \in B
+P iff Q = P \iff Q
+A setminus B subset C = A \setminus B \subset C
+forall x exists y = \forall x \exists y
+nexists z = \nexists z
+a approx b approx c = a \approx b \approx c
+x notin emptyset = x \notin \emptyset
+A subseteq B supseteq C = A \subseteq B \supseteq C
+
+# --- 10. Adversarial / Edge Cases / Shorthand ---
+-x^2 = (-x)^{2}
+-(x^2) = -x^{2}
+--x = --x
++-x -+ y = \pm x \mp y
+a +- b -+ c = a \pm b \mp c
+2x 3y = 2x 3y
+sin x cos y = \sin x \cos y
+ln x exp y = \ln x \exp y
+a...b = a\ldots b
+a cdots b vdots c ddots d = a \cdots b \vdots c \ddots d

math2tex-1.0.0/math2tex/__init__.py

@@ -0,0 +1,84 @@
+"""
+math2tex — A professional plaintext-to-LaTeX mathematical expression engine.
+
+Converts informal math notation into high-quality, publication-ready LaTeX.
+Designed for use with the LaTeX ``physics`` package.
+
+Public API
+----------
+.. autofunction:: math2tex
+.. autofunction:: math2tex_multiline
+.. autofunction:: parse_macro_def
+"""
+
+from typing import List, Optional
+
+from .config import Config
+from .lexer import ParseError, _preprocess, tokenize
+from .parser import Parser
+from .formatter import LatexFormatter
+from .macros import parse_macro_def, Macro, substitute
+
+__all__ = [
+    'math2tex',
+    'math2tex_multiline',
+    'parse_macro_def',
+    'Config',
+    'ParseError',
+    'Macro',
+]
+
+
+def math2tex(expression: str,
+             macro_env: Optional[dict] = None) -> str:
+    try:
+        if macro_env is None:
+            macro_env = {}
+
+        # Expand zero-argument macros before lexing
+        macro = macro_env.get(expression.strip())
+        if macro is not None and not macro.args:
+            formatter = LatexFormatter({})
+            return formatter.format(macro.body, is_root=True)
+
+        preprocessed, text_map = _preprocess(expression)
+        tokens = tokenize(preprocessed)
+        parser = Parser(tokens, text_map=text_map, macro_env=macro_env)
+        ast = parser.parse()
+        formatter = LatexFormatter(text_map)
+        return formatter.format(ast, is_root=True)
+
+    except Exception as e:
+        return f'% Parse Error: {e}'
+
+
+def math2tex_multiline(expressions: List[str],
+                       env: str = None,
+                       macro_env: Optional[dict] = None) -> str:
+    if env is None:
+        env = Config.DEFAULT_ENV
+    if macro_env is None:
+        macro_env = {}
+
+    align_mode = (env == 'align*')
+
+    formatted_lines: List[str] = []
+    for expr in expressions:
+        if not expr.strip():
+            continue
+        try:
+            preprocessed, text_map = _preprocess(expr)
+            tokens = tokenize(preprocessed)
+            parser = Parser(tokens, text_map=text_map, macro_env=macro_env)
+            ast = parser.parse()
+            formatter = LatexFormatter(text_map, align_mode=align_mode)
+            formatted = formatter.format(ast, is_root=True)
+            formatted_lines.append(formatted)
+        except Exception as e:
+            formatted_lines.append(f'% Parse Error: {e}')
+
+    if env == 'none':
+        return '\n'.join(formatted_lines)
+
+    content = ' \\\\\n'.join(formatted_lines)
+    return f'\\begin{{{env}}}\n{content}\n\\end{{{env}}}'