Ethosoft-Math 0.1.0__tar.gz → 0.4.0__tar.gz

ethosoft_math-0.4.0/PKG-INFO

@@ -0,0 +1,120 @@
+Metadata-Version: 2.4
+Name: Ethosoft-Math
+Version: 0.4.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` → `topla(3, 4)` → `7`.
+
+```python
+import ethosoft_math as em
+
+em.convert("Toplam 3 + 4 = 7 elma.")
+# 'Toplam <arac_cagrisi>topla(3, 4)</arac_cagrisi><arac_sonucu>7</arac_sonucu> elma.'
+
+em.calculate("4 + 5")              # '9'      <- hesap makinesi
+em.calculate("2 uzeri 10")         # '1024'
+em.calculate("1.250,50 + 3,5")     # '1254'   (Türkçe sayı yazımı)
+em.calculate("4 + 5", trace=True)  # '<arac_cagrisi>topla(4, 5)</arac_cagrisi><arac_sonucu>9</arac_sonucu>'
+em.calculate("17 mod 5")           # '2'
+em.calculate("50'nin %20'si")      # '10'
+em.calculate("3 < 5")              # 'dogru'
+em.calculate("100 / 3", decimals=2)  # '33.33'
+em.calculate("(a+b)^2 = a^2+2ab+b^2")  # 'dogru'
+em.calculate("bana 12 * 12 yi hesapla")  # '144'
+
+em.execute('coz("x^2 - 4 = 0", "x")')   # '[-2, 2]'
+em.verify(em.convert(text))             # (cagri_sayisi, hatali_sayisi)
+em.convert(text, lang="en")             # <tool_call>add(3, 4)</tool_call>...
+```
+
+## Araç çalıştırıcı (modelin hesap makinesi)
+
+Model `<arac_cagrisi>` bloğunu yazar; kütüphane içindeki çağrıyı çalıştırıp
+`<arac_sonucu>` arasına sonucu yazar:
+
+```python
+em.fill_results("<arac_cagrisi>bol(48, 2)</arac_cagrisi>")
+# '<arac_cagrisi>bol(48, 2)</arac_cagrisi><arac_sonucu>24</arac_sonucu>'
+
+em.result_block("bol(48, 2)")   # '<arac_sonucu>24</arac_sonucu>'   (sadece sonuç bloğu)
+```
+
+Üretim döngüsünde: model `</arac_cagrisi>` yazınca dur → `result_block(metin)` → dönen bloğu ekleyip devam et.
+Hata olursa sonuç `HATA: neden` olur; `tanimla(...)` tanımları aynı metinde sonraki çağrılarda geçerlidir.
+
+## Düz metin → tool-use
+
+```python
+em.tool_use("Mayıs'ta 48 / 2 = 24 kart, toplam 48 + 24 = 72.")
+```
+
+## 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 (v0.2: Türkçe)
+
+```
+<arac_cagrisi>FONKSIYON(arg1, arg2, ...)</arac_cagrisi><arac_sonucu>SONUC</arac_sonucu>
+```
+
+| İşlem | Türkçe ad | İngilizce ad |
+|---|---|---|
+| `a + b` | `topla` | `add` |
+| `a - b` | `cikar` | `sub` |
+| `a × b` | `carp` | `mul` |
+| `a / b` | `bol` | `div` |
+| `a ^ b` | `us` | `pow` |
+| `√a` | `karekok` | `sqrt` |
+| `n!` | `faktoriyel` | `fact` |
+| `C(n,k)` | `kombinasyon` | `comb` |
+| denklem çöz | `coz` | `solve` |
+| serbest ifade | `hesapla` | `calc` |
+
+- Türkçe ve İngilizce adların ikisi de çalışır (`execute("add(3, 4)")` = `execute("topla(3, 4)")`).
+- Sonuç kelimeleri: `dogru` / `yanlis` / `bos` / `HATA: ...`.
+- Gruplar: aritmetik, yüzde, sayı teorisi, üs/log, trigonometri, geometri, olasılık/istatistik,
+  diziler, cebir, analiz, lineer cebir, fonksiyon tanımlama (`tanimla`).
+- Tam liste: `ethosoft-math protocol`
+
+## Komut satırı
+
+```bash
+ethosoft-math calc "4 + 5"
+ethosoft-math exec "carp(topla(3, 4), 2)"
+ethosoft-math protocol > PROTOCOL.md
+ethosoft-math convert in.jsonl out.jsonl --field solution [--lang en] [--aggressive]
+```
+
+## Ç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 |
+| `lang="en"` | Etiket ve fonksiyon adlarını İngilizce üretir |
+
+## 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.4.0/README.md

@@ -0,0 +1,103 @@
+# 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` → `topla(3, 4)` → `7`.
+
+```python
+import ethosoft_math as em
+
+em.convert("Toplam 3 + 4 = 7 elma.")
+# 'Toplam <arac_cagrisi>topla(3, 4)</arac_cagrisi><arac_sonucu>7</arac_sonucu> elma.'
+
+em.calculate("4 + 5")              # '9'      <- hesap makinesi
+em.calculate("2 uzeri 10")         # '1024'
+em.calculate("1.250,50 + 3,5")     # '1254'   (Türkçe sayı yazımı)
+em.calculate("4 + 5", trace=True)  # '<arac_cagrisi>topla(4, 5)</arac_cagrisi><arac_sonucu>9</arac_sonucu>'
+em.calculate("17 mod 5")           # '2'
+em.calculate("50'nin %20'si")      # '10'
+em.calculate("3 < 5")              # 'dogru'
+em.calculate("100 / 3", decimals=2)  # '33.33'
+em.calculate("(a+b)^2 = a^2+2ab+b^2")  # 'dogru'
+em.calculate("bana 12 * 12 yi hesapla")  # '144'
+
+em.execute('coz("x^2 - 4 = 0", "x")')   # '[-2, 2]'
+em.verify(em.convert(text))             # (cagri_sayisi, hatali_sayisi)
+em.convert(text, lang="en")             # <tool_call>add(3, 4)</tool_call>...
+```
+
+## Araç çalıştırıcı (modelin hesap makinesi)
+
+Model `<arac_cagrisi>` bloğunu yazar; kütüphane içindeki çağrıyı çalıştırıp
+`<arac_sonucu>` arasına sonucu yazar:
+
+```python
+em.fill_results("<arac_cagrisi>bol(48, 2)</arac_cagrisi>")
+# '<arac_cagrisi>bol(48, 2)</arac_cagrisi><arac_sonucu>24</arac_sonucu>'
+
+em.result_block("bol(48, 2)")   # '<arac_sonucu>24</arac_sonucu>'   (sadece sonuç bloğu)
+```
+
+Üretim döngüsünde: model `</arac_cagrisi>` yazınca dur → `result_block(metin)` → dönen bloğu ekleyip devam et.
+Hata olursa sonuç `HATA: neden` olur; `tanimla(...)` tanımları aynı metinde sonraki çağrılarda geçerlidir.
+
+## Düz metin → tool-use
+
+```python
+em.tool_use("Mayıs'ta 48 / 2 = 24 kart, toplam 48 + 24 = 72.")
+```
+
+## 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 (v0.2: Türkçe)
+
+```
+<arac_cagrisi>FONKSIYON(arg1, arg2, ...)</arac_cagrisi><arac_sonucu>SONUC</arac_sonucu>
+```
+
+| İşlem | Türkçe ad | İngilizce ad |
+|---|---|---|
+| `a + b` | `topla` | `add` |
+| `a - b` | `cikar` | `sub` |
+| `a × b` | `carp` | `mul` |
+| `a / b` | `bol` | `div` |
+| `a ^ b` | `us` | `pow` |
+| `√a` | `karekok` | `sqrt` |
+| `n!` | `faktoriyel` | `fact` |
+| `C(n,k)` | `kombinasyon` | `comb` |
+| denklem çöz | `coz` | `solve` |
+| serbest ifade | `hesapla` | `calc` |
+
+- Türkçe ve İngilizce adların ikisi de çalışır (`execute("add(3, 4)")` = `execute("topla(3, 4)")`).
+- Sonuç kelimeleri: `dogru` / `yanlis` / `bos` / `HATA: ...`.
+- Gruplar: aritmetik, yüzde, sayı teorisi, üs/log, trigonometri, geometri, olasılık/istatistik,
+  diziler, cebir, analiz, lineer cebir, fonksiyon tanımlama (`tanimla`).
+- Tam liste: `ethosoft-math protocol`
+
+## Komut satırı
+
+```bash
+ethosoft-math calc "4 + 5"
+ethosoft-math exec "carp(topla(3, 4), 2)"
+ethosoft-math protocol > PROTOCOL.md
+ethosoft-math convert in.jsonl out.jsonl --field solution [--lang en] [--aggressive]
+```
+
+## Ç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 |
+| `lang="en"` | Etiket ve fonksiyon adlarını İngilizce üretir |
+
+## 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 → ethosoft_math-0.4.0}/pyproject.toml

@@ -1,32 +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 = []
+[build-system]
+requires = ["setuptools>=68", "wheel"]
+build-backend = "setuptools.build_meta"
+
+[project]
+name = "Ethosoft-Math"
+version = "0.4.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.4.0/src/Ethosoft_Math.egg-info/PKG-INFO

@@ -0,0 +1,120 @@
+Metadata-Version: 2.4
+Name: Ethosoft-Math
+Version: 0.4.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` → `topla(3, 4)` → `7`.
+
+```python
+import ethosoft_math as em
+
+em.convert("Toplam 3 + 4 = 7 elma.")
+# 'Toplam <arac_cagrisi>topla(3, 4)</arac_cagrisi><arac_sonucu>7</arac_sonucu> elma.'
+
+em.calculate("4 + 5")              # '9'      <- hesap makinesi
+em.calculate("2 uzeri 10")         # '1024'
+em.calculate("1.250,50 + 3,5")     # '1254'   (Türkçe sayı yazımı)
+em.calculate("4 + 5", trace=True)  # '<arac_cagrisi>topla(4, 5)</arac_cagrisi><arac_sonucu>9</arac_sonucu>'
+em.calculate("17 mod 5")           # '2'
+em.calculate("50'nin %20'si")      # '10'
+em.calculate("3 < 5")              # 'dogru'
+em.calculate("100 / 3", decimals=2)  # '33.33'
+em.calculate("(a+b)^2 = a^2+2ab+b^2")  # 'dogru'
+em.calculate("bana 12 * 12 yi hesapla")  # '144'
+
+em.execute('coz("x^2 - 4 = 0", "x")')   # '[-2, 2]'
+em.verify(em.convert(text))             # (cagri_sayisi, hatali_sayisi)
+em.convert(text, lang="en")             # <tool_call>add(3, 4)</tool_call>...
+```
+
+## Araç çalıştırıcı (modelin hesap makinesi)
+
+Model `<arac_cagrisi>` bloğunu yazar; kütüphane içindeki çağrıyı çalıştırıp
+`<arac_sonucu>` arasına sonucu yazar:
+
+```python
+em.fill_results("<arac_cagrisi>bol(48, 2)</arac_cagrisi>")
+# '<arac_cagrisi>bol(48, 2)</arac_cagrisi><arac_sonucu>24</arac_sonucu>'
+
+em.result_block("bol(48, 2)")   # '<arac_sonucu>24</arac_sonucu>'   (sadece sonuç bloğu)
+```
+
+Üretim döngüsünde: model `</arac_cagrisi>` yazınca dur → `result_block(metin)` → dönen bloğu ekleyip devam et.
+Hata olursa sonuç `HATA: neden` olur; `tanimla(...)` tanımları aynı metinde sonraki çağrılarda geçerlidir.
+
+## Düz metin → tool-use
+
+```python
+em.tool_use("Mayıs'ta 48 / 2 = 24 kart, toplam 48 + 24 = 72.")
+```
+
+## 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 (v0.2: Türkçe)
+
+```
+<arac_cagrisi>FONKSIYON(arg1, arg2, ...)</arac_cagrisi><arac_sonucu>SONUC</arac_sonucu>
+```
+
+| İşlem | Türkçe ad | İngilizce ad |
+|---|---|---|
+| `a + b` | `topla` | `add` |
+| `a - b` | `cikar` | `sub` |
+| `a × b` | `carp` | `mul` |
+| `a / b` | `bol` | `div` |
+| `a ^ b` | `us` | `pow` |
+| `√a` | `karekok` | `sqrt` |
+| `n!` | `faktoriyel` | `fact` |
+| `C(n,k)` | `kombinasyon` | `comb` |
+| denklem çöz | `coz` | `solve` |
+| serbest ifade | `hesapla` | `calc` |
+
+- Türkçe ve İngilizce adların ikisi de çalışır (`execute("add(3, 4)")` = `execute("topla(3, 4)")`).
+- Sonuç kelimeleri: `dogru` / `yanlis` / `bos` / `HATA: ...`.
+- Gruplar: aritmetik, yüzde, sayı teorisi, üs/log, trigonometri, geometri, olasılık/istatistik,
+  diziler, cebir, analiz, lineer cebir, fonksiyon tanımlama (`tanimla`).
+- Tam liste: `ethosoft-math protocol`
+
+## Komut satırı
+
+```bash
+ethosoft-math calc "4 + 5"
+ethosoft-math exec "carp(topla(3, 4), 2)"
+ethosoft-math protocol > PROTOCOL.md
+ethosoft-math convert in.jsonl out.jsonl --field solution [--lang en] [--aggressive]
+```
+
+## Ç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 |
+| `lang="en"` | Etiket ve fonksiyon adlarını İngilizce üretir |
+
+## 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 → ethosoft_math-0.4.0}/src/Ethosoft_Math.egg-info/SOURCES.txt

@@ -8,7 +8,10 @@ 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/calc.py
 src/ethosoft_math/cli.py
 src/ethosoft_math/converter.py
 src/ethosoft_math/protocol.py
+src/ethosoft_math/runtime.py
+src/ethosoft_math/tooluse.py
 tests/test_basic.py

ethosoft_math-0.4.0/src/ethosoft_math/__init__.py

@@ -0,0 +1,36 @@
+"""Ethosoft-Math: matematik cozumlerini dogrulanmis tool-use izlerine ceviren kutuphane.
+
+    >>> import ethosoft_math as em
+    >>> em.convert("Toplam 3 + 4 = 7 elma.")
+    'Toplam <arac_cagrisi>topla(3, 4)</arac_cagrisi><arac_sonucu>7</arac_sonucu> elma.'
+    >>> em.execute("topla(3, 4)")
+    '7'
+    >>> em.calculate("4 + 5")
+    '9'
+"""
+from .protocol import (  # noqa: F401
+    CALL_OPEN, CALL_CLOSE, RES_OPEN, RES_CLOSE, REG, ToolError, TR_NAMES, EN_NAMES,
+    execute, parse_call, run, render_protocol_md, localize, delocalize, set_language,
+)
+from .calc import calculate, evaluate  # noqa: F401
+from .tooluse import tool_use  # noqa: F401
+from .runtime import fill_results, result_block  # noqa: F401
+from .converter import convert_text, verify_converted  # noqa: F401
+
+__version__ = "0.4.0"
+
+
+def convert(text: str, aggressive: bool = False, lang: str = None) -> str:
+    """Metindeki dogrulanabilir hesaplari arac cagrilarina cevirir; sadece metni dondurur.
+    lang: 'tr' (varsayilan, <arac_cagrisi>/topla) veya 'en' (<tool_call>/add)."""
+    return convert_text(text, aggressive=aggressive, lang=lang)[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()}