Ethosoft-Math 0.1.0__tar.gz

ethosoft_math-0.1.0/PKG-INFO

@@ -0,0 +1,72 @@
+Metadata-Version: 2.4
+Name: Ethosoft-Math
+Version: 0.1.0
+Summary: Convert math solutions into verified tool-use traces (add(3, 4) -> 7) with an executable math tool protocol.
+Author: Ethosoft
+License: MIT
+Keywords: math,tool-use,llm,dataset,reasoning,sympy,function-calling
+Classifier: Programming Language :: Python :: 3
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Intended Audience :: Science/Research
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: >=3.9
+Description-Content-Type: text/markdown
+Requires-Dist: sympy>=1.12
+Provides-Extra: test
+Requires-Dist: pytest; extra == "test"
+
+# Ethosoft-Math
+
+Matematik çözümlerindeki **her hesabı** doğrulanmış bir araç çağrısına (tool-use) çeviren kütüphane.
+Turn math solutions into verified tool-use traces: `3 + 4 = 7` → `add(3, 4)` → `7`.
+
+```python
+import ethosoft_math as em
+
+em.convert("Toplam 3 + 4 = 7 elma.")
+# 'Toplam <tool_call>add(3, 4)</tool_call><tool_result>7</tool_result> elma.'
+
+em.execute('solve("x^2 - 4 = 0", "x")')   # '[-2, 2]'
+em.verify(em.convert(text))               # (cagri_sayisi, hatali_sayisi)
+```
+
+## Neden
+
+LLM'e hesabı "kafadan" yaptırmak yerine aracı çağırtmak için eğitim verisi üretirsin.
+Her çağrı, çevirme anında **yeniden çalıştırılıp doğrulanır**; tutmayan hiçbir şey çıktıya girmez.
+Veride yanlış olan eşitlikler (`2 + 2 = 5`) olduğu gibi bırakılır.
+
+## Protokol
+
+```
+<tool_call>FONKSIYON(arg1, arg2, ...)</tool_call><tool_result>SONUC</tool_result>
+```
+
+- Operatörler: `+` add, `-` sub, `*` mul, `/` div, `^` pow, `!` fact, `√` sqrt
+- Gruplar: aritmetik, yüzde, sayı teorisi, üs/log, trigonometri, geometri, olasılık/istatistik,
+  diziler (`sum_range`, `arith_sum`), cebir (`solve`, `expand`, `factor`, `equal`), analiz, lineer cebir,
+  fonksiyon tanımlama (`define`).
+- Tam liste: `ethosoft-math protocol`
+
+## Komut satırı
+
+```bash
+ethosoft-math exec "mul(add(3, 4), 2)"
+ethosoft-math protocol > PROTOCOL.md
+ethosoft-math convert in.jsonl out.jsonl --field solution
+```
+
+## Çalışma modları
+
+| Mod | Ne yapar |
+|---|---|
+| `convert(text)` (varsayılan) | Yalnızca doğrulanabilen eşitlikleri, denklemleri, eşitsizlikleri, toplamları çevirir |
+| `convert(text, aggressive=True)` | Ek olarak `=` içermeyen salt-sayısal işlemleri de çevirir (küçük ek kapsam, daha gürültülü) |
+
+## Sınırlar
+
+- Python/PoT kodu içeren çözümlere dokunmaz.
+- İspat ve sözel anlatım satırlarında çağrı üretilmez (hesap yoktur).
+- Çeviri modelinden önce çalıştırılmalıdır; araç blokları çeviriden korunmalıdır.
+
+Lisans: MIT

ethosoft_math-0.1.0/README.md

@@ -0,0 +1,55 @@
+# Ethosoft-Math
+
+Matematik çözümlerindeki **her hesabı** doğrulanmış bir araç çağrısına (tool-use) çeviren kütüphane.
+Turn math solutions into verified tool-use traces: `3 + 4 = 7` → `add(3, 4)` → `7`.
+
+```python
+import ethosoft_math as em
+
+em.convert("Toplam 3 + 4 = 7 elma.")
+# 'Toplam <tool_call>add(3, 4)</tool_call><tool_result>7</tool_result> elma.'
+
+em.execute('solve("x^2 - 4 = 0", "x")')   # '[-2, 2]'
+em.verify(em.convert(text))               # (cagri_sayisi, hatali_sayisi)
+```
+
+## Neden
+
+LLM'e hesabı "kafadan" yaptırmak yerine aracı çağırtmak için eğitim verisi üretirsin.
+Her çağrı, çevirme anında **yeniden çalıştırılıp doğrulanır**; tutmayan hiçbir şey çıktıya girmez.
+Veride yanlış olan eşitlikler (`2 + 2 = 5`) olduğu gibi bırakılır.
+
+## Protokol
+
+```
+<tool_call>FONKSIYON(arg1, arg2, ...)</tool_call><tool_result>SONUC</tool_result>
+```
+
+- Operatörler: `+` add, `-` sub, `*` mul, `/` div, `^` pow, `!` fact, `√` sqrt
+- Gruplar: aritmetik, yüzde, sayı teorisi, üs/log, trigonometri, geometri, olasılık/istatistik,
+  diziler (`sum_range`, `arith_sum`), cebir (`solve`, `expand`, `factor`, `equal`), analiz, lineer cebir,
+  fonksiyon tanımlama (`define`).
+- Tam liste: `ethosoft-math protocol`
+
+## Komut satırı
+
+```bash
+ethosoft-math exec "mul(add(3, 4), 2)"
+ethosoft-math protocol > PROTOCOL.md
+ethosoft-math convert in.jsonl out.jsonl --field solution
+```
+
+## Çalışma modları
+
+| Mod | Ne yapar |
+|---|---|
+| `convert(text)` (varsayılan) | Yalnızca doğrulanabilen eşitlikleri, denklemleri, eşitsizlikleri, toplamları çevirir |
+| `convert(text, aggressive=True)` | Ek olarak `=` içermeyen salt-sayısal işlemleri de çevirir (küçük ek kapsam, daha gürültülü) |
+
+## Sınırlar
+
+- Python/PoT kodu içeren çözümlere dokunmaz.
+- İspat ve sözel anlatım satırlarında çağrı üretilmez (hesap yoktur).
+- Çeviri modelinden önce çalıştırılmalıdır; araç blokları çeviriden korunmalıdır.
+
+Lisans: MIT

ethosoft_math-0.1.0/pyproject.toml

@@ -0,0 +1,32 @@
+[build-system]
+requires = ["setuptools>=68", "wheel"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "Ethosoft-Math"
+version = "0.1.0"
+description = "Convert math solutions into verified tool-use traces (add(3, 4) -> 7) with an executable math tool protocol."
+readme = "README.md"
+requires-python = ">=3.9"
+license = { text = "MIT" }
+authors = [{ name = "Ethosoft" }]
+keywords = ["math", "tool-use", "llm", "dataset", "reasoning", "sympy", "function-calling"]
+classifiers = [
+    "Programming Language :: Python :: 3",
+    "License :: OSI Approved :: MIT License",
+    "Intended Audience :: Science/Research",
+    "Topic :: Scientific/Engineering :: Mathematics",
+]
+dependencies = ["sympy>=1.12"]
+
+[project.optional-dependencies]
+test = ["pytest"]
+
+[project.scripts]
+ethosoft-math = "ethosoft_math.cli:main"
+
+[tool.setuptools.packages.find]
+where = ["src"]
+
+[tool.setuptools]
+license-files = []

ethosoft_math-0.1.0/setup.cfg

@@ -0,0 +1,4 @@
+[egg_info]
+tag_build = 
+tag_date = 0
+

ethosoft_math-0.1.0/src/Ethosoft_Math.egg-info/PKG-INFO

@@ -0,0 +1,72 @@
+Metadata-Version: 2.4
+Name: Ethosoft-Math
+Version: 0.1.0
+Summary: Convert math solutions into verified tool-use traces (add(3, 4) -> 7) with an executable math tool protocol.
+Author: Ethosoft
+License: MIT
+Keywords: math,tool-use,llm,dataset,reasoning,sympy,function-calling
+Classifier: Programming Language :: Python :: 3
+Classifier: License :: OSI Approved :: MIT License
+Classifier: Intended Audience :: Science/Research
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Requires-Python: >=3.9
+Description-Content-Type: text/markdown
+Requires-Dist: sympy>=1.12
+Provides-Extra: test
+Requires-Dist: pytest; extra == "test"
+
+# Ethosoft-Math
+
+Matematik çözümlerindeki **her hesabı** doğrulanmış bir araç çağrısına (tool-use) çeviren kütüphane.
+Turn math solutions into verified tool-use traces: `3 + 4 = 7` → `add(3, 4)` → `7`.
+
+```python
+import ethosoft_math as em
+
+em.convert("Toplam 3 + 4 = 7 elma.")
+# 'Toplam <tool_call>add(3, 4)</tool_call><tool_result>7</tool_result> elma.'
+
+em.execute('solve("x^2 - 4 = 0", "x")')   # '[-2, 2]'
+em.verify(em.convert(text))               # (cagri_sayisi, hatali_sayisi)
+```
+
+## Neden
+
+LLM'e hesabı "kafadan" yaptırmak yerine aracı çağırtmak için eğitim verisi üretirsin.
+Her çağrı, çevirme anında **yeniden çalıştırılıp doğrulanır**; tutmayan hiçbir şey çıktıya girmez.
+Veride yanlış olan eşitlikler (`2 + 2 = 5`) olduğu gibi bırakılır.
+
+## Protokol
+
+```
+<tool_call>FONKSIYON(arg1, arg2, ...)</tool_call><tool_result>SONUC</tool_result>
+```
+
+- Operatörler: `+` add, `-` sub, `*` mul, `/` div, `^` pow, `!` fact, `√` sqrt
+- Gruplar: aritmetik, yüzde, sayı teorisi, üs/log, trigonometri, geometri, olasılık/istatistik,
+  diziler (`sum_range`, `arith_sum`), cebir (`solve`, `expand`, `factor`, `equal`), analiz, lineer cebir,
+  fonksiyon tanımlama (`define`).
+- Tam liste: `ethosoft-math protocol`
+
+## Komut satırı
+
+```bash
+ethosoft-math exec "mul(add(3, 4), 2)"
+ethosoft-math protocol > PROTOCOL.md
+ethosoft-math convert in.jsonl out.jsonl --field solution
+```
+
+## Çalışma modları
+
+| Mod | Ne yapar |
+|---|---|
+| `convert(text)` (varsayılan) | Yalnızca doğrulanabilen eşitlikleri, denklemleri, eşitsizlikleri, toplamları çevirir |
+| `convert(text, aggressive=True)` | Ek olarak `=` içermeyen salt-sayısal işlemleri de çevirir (küçük ek kapsam, daha gürültülü) |
+
+## Sınırlar
+
+- Python/PoT kodu içeren çözümlere dokunmaz.
+- İspat ve sözel anlatım satırlarında çağrı üretilmez (hesap yoktur).
+- Çeviri modelinden önce çalıştırılmalıdır; araç blokları çeviriden korunmalıdır.
+
+Lisans: MIT

ethosoft_math-0.1.0/src/Ethosoft_Math.egg-info/SOURCES.txt

@@ -0,0 +1,14 @@
+README.md
+pyproject.toml
+src/Ethosoft_Math.egg-info/PKG-INFO
+src/Ethosoft_Math.egg-info/SOURCES.txt
+src/Ethosoft_Math.egg-info/dependency_links.txt
+src/Ethosoft_Math.egg-info/entry_points.txt
+src/Ethosoft_Math.egg-info/requires.txt
+src/Ethosoft_Math.egg-info/top_level.txt
+src/ethosoft_math/__init__.py
+src/ethosoft_math/__main__.py
+src/ethosoft_math/cli.py
+src/ethosoft_math/converter.py
+src/ethosoft_math/protocol.py
+tests/test_basic.py

ethosoft_math-0.1.0/src/Ethosoft_Math.egg-info/dependency_links.txt

@@ -0,0 +1 @@
+

ethosoft_math-0.1.0/src/Ethosoft_Math.egg-info/entry_points.txt

@@ -0,0 +1,2 @@
+[console_scripts]
+ethosoft-math = ethosoft_math.cli:main

ethosoft_math-0.1.0/src/Ethosoft_Math.egg-info/requires.txt

@@ -0,0 +1,4 @@
+sympy>=1.12
+
+[test]
+pytest

ethosoft_math-0.1.0/src/Ethosoft_Math.egg-info/top_level.txt

@@ -0,0 +1 @@
+ethosoft_math

ethosoft_math-0.1.0/src/ethosoft_math/__init__.py

@@ -0,0 +1,30 @@
+"""Ethosoft-Math: matematik cozumlerini dogrulanmis tool-use izlerine ceviren kutuphane.
+
+    >>> import ethosoft_math as em
+    >>> em.convert("Toplam 3 + 4 = 7 elma.")
+    'Toplam <tool_call>add(3, 4)</tool_call><tool_result>7</tool_result> elma.'
+    >>> em.execute("add(3, 4)")
+    '7'
+"""
+from .protocol import (  # noqa: F401
+    CALL_OPEN, CALL_CLOSE, RES_OPEN, RES_CLOSE, REG, ToolError,
+    execute, parse_call, run, render_protocol_md,
+)
+from .converter import convert_text, verify_converted  # noqa: F401
+
+__version__ = "0.1.0"
+
+
+def convert(text: str, aggressive: bool = False) -> str:
+    """Metindeki dogrulanabilir hesaplari arac cagrilarina cevirir; sadece metni dondurur."""
+    return convert_text(text, aggressive=aggressive)[0]
+
+
+def verify(text: str):
+    """Metindeki her arac cagrisini yeniden calistirir; (toplam, hatali) dondurur."""
+    return verify_converted(text)
+
+
+def functions():
+    """Protokoldeki fonksiyonlar: {ad: {cat, sig, doc}}"""
+    return {k: {"cat": v["cat"], "sig": v["sig"], "doc": v["doc"]} for k, v in REG.items()}

ethosoft_math-0.1.0/src/ethosoft_math/__main__.py

@@ -0,0 +1,3 @@
+from .cli import main
+
+main()

ethosoft_math-0.1.0/src/ethosoft_math/cli.py

@@ -0,0 +1,56 @@
+import argparse
+import json
+import sys
+
+from . import __version__, convert_text, execute, render_protocol_md, verify_converted
+
+
+def _convert_file(args):
+    n = n_conv = n_calls = n_bad = 0
+    with open(args.input, encoding="utf-8") as fin, open(args.output, "w", encoding="utf-8") as fout:
+        for line in fin:
+            line = line.strip()
+            if not line:
+                continue
+            row = json.loads(line)
+            text = row.get(args.field)
+            if isinstance(text, str):
+                out, _ = convert_text(text, aggressive=args.aggressive)
+                calls, bad = verify_converted(out)
+                row[args.out_field or args.field] = out
+                row["tool_calls"] = calls
+                n_calls += calls
+                n_bad += bad
+                n_conv += calls > 0
+            n += 1
+            fout.write(json.dumps(row, ensure_ascii=False) + "\n")
+    print(f"satir={n} aracli={n_conv} ({100 * n_conv / max(1, n):.1f}%) cagri={n_calls} hatali={n_bad}")
+
+
+def main(argv=None):
+    ap = argparse.ArgumentParser(prog="ethosoft-math", description="Matematik tool-use protokolu")
+    ap.add_argument("--version", action="version", version=__version__)
+    sub = ap.add_subparsers(dest="cmd", required=True)
+
+    c = sub.add_parser("convert", help="jsonl dosyasindaki bir alani tool-use bicimine cevir")
+    c.add_argument("input")
+    c.add_argument("output")
+    c.add_argument("--field", default="solution")
+    c.add_argument("--out-field", default=None)
+    c.add_argument("--aggressive", action="store_true", help="'=' olmayan sayisal islemleri de cevir")
+    c.set_defaults(func=_convert_file)
+
+    p = sub.add_parser("protocol", help="protokol dokumanini yazdir (Markdown)")
+    p.set_defaults(func=lambda a: print(render_protocol_md()))
+
+    e = sub.add_parser("exec", help="tek bir arac cagrisini calistir, orn: add(3, 4)")
+    e.add_argument("call")
+    e.set_defaults(func=lambda a: print(execute(a.call)))
+
+    args = ap.parse_args(argv)
+    sys.stdout.reconfigure(encoding="utf-8")
+    args.func(args)
+
+
+if __name__ == "__main__":
+    main()