pythonic-peano-arithmetic 0.3.0__py3-none-any.whl → 0.4.0__py3-none-any.whl

peano/__init__.py

@@ -28,7 +28,7 @@ from .rational import (
     rational,
     z2r,
 )
-from .utils import config_log
+from .utils import SUPPORTED_LOCALES, config_log
 
 __all__ = [
     "NaturalNumber",
@@ -63,4 +63,5 @@ __all__ = [
     "AlgebraicRoot",
     "algebraic_root",
     "config_log",
+    "SUPPORTED_LOCALES",
 ]

peano/algebraic_root.py

@@ -8,7 +8,7 @@ from fractions import Fraction
 from .natural_number import NaturalNumber
 from .polynomial import Polynomial, count_real_roots
 from .rational import Rational, rational
-from .utils import LogMessage, localized, log
+from .utils import LogMessage, log, translate
 
 
 @dataclass(frozen=True, slots=True)
@@ -132,9 +132,10 @@ def _bisect(
         result = RationalInterval(midpoint, midpoint)
         return (
             result,
-            lambda: localized(
-                f"{polynomial_value!r}: midpoint {midpoint!r} is a root",
-                f"{polynomial_value!r}: 中点 {midpoint!r} は根",
+            lambda: translate(
+                "midpoint_root",
+                polynomial=repr(polynomial_value),
+                midpoint=repr(midpoint),
             ),
         )
 

peano/natural_number.py

@@ -6,7 +6,7 @@ from dataclasses import dataclass
 from functools import total_ordering
 from typing import TYPE_CHECKING, Iterator, cast
 
-from .utils import LogMessage, localized, log
+from .utils import LogMessage, log, translate
 
 if TYPE_CHECKING:
     from .integer import Integer
@@ -67,7 +67,7 @@ class NaturalNumber:
             return (
                 result,
                 lambda: (
-                    f"{localized('[equality: zero case]', '[等値・0の場合]')} "
+                    f"{translate('equality.zero')} "
                     f"eq({self.structural_str()}, "
                     f"{other.structural_str()}) -> {result}"
                 ),
@@ -75,7 +75,7 @@ class NaturalNumber:
         return (
             left_predecessor == right_predecessor,
             lambda: (
-                f"{localized('[equality: successor case]', '[等値・後者の場合]')} "
+                f"{translate('equality.successor')} "
                 f"eq({self.structural_str()}, "
                 f"{other.structural_str()}) -> "
                 f"eq({left_predecessor.structural_str()}, "
@@ -128,7 +128,7 @@ class NaturalNumber:
             return (
                 self,
                 lambda: (
-                    f"{localized('[addition: base]', '[加法・基底]')} "
+                    f"{translate('addition.base')} "
                     f"add({self.structural_str()}, 0) "
                     f"-> {self.structural_str()}"
                 ),
@@ -136,7 +136,7 @@ class NaturalNumber:
         return (
             successor(self + predecessor),
             lambda: (
-                f"{localized('[addition: recursive]', '[加法・再帰]')} "
+                f"{translate('addition.recursive')} "
                 f"add({self.structural_str()}, "
                 f"{other.structural_str()}) -> "
                 f"S(add({self.structural_str()}, {predecessor.structural_str()}))"
@@ -173,14 +173,14 @@ class NaturalNumber:
             return (
                 N_ZERO,
                 lambda: (
-                    f"{localized('[multiplication: base]', '[乗法・基底]')} "
+                    f"{translate('multiplication.base')} "
                     f"mul({self.structural_str()}, 0) -> 0"
                 ),
             )
         return (
             self + self * predecessor,
             lambda: (
-                f"{localized('[multiplication: recursive]', '[乗法・再帰]')} "
+                f"{translate('multiplication.recursive')} "
                 f"mul({self.structural_str()}, "
                 f"{other.structural_str()}) -> "
                 f"add({self.structural_str()}, "

peano/utils.py

@@ -22,14 +22,199 @@ logger.disabled = True
 P = ParamSpec("P")
 T = TypeVar("T")
 LogMessage = str | Callable[[], str]
+Locale = Literal[
+    "en",
+    "ja",
+    "zh-Hans",
+    "zh-Hant",
+    "es",
+    "pt-BR",
+    "fr",
+    "de",
+    "ko",
+    "ru",
+    "ar",
+    "hi",
+]
+SUPPORTED_LOCALES: tuple[Locale, ...] = (
+    "en",
+    "ja",
+    "zh-Hans",
+    "zh-Hant",
+    "es",
+    "pt-BR",
+    "fr",
+    "de",
+    "ko",
+    "ru",
+    "ar",
+    "hi",
+)
 _PEANO_HANDLER_MARKER = "_peano_handler"
 _LOG_LIMIT_NOTICE = "_peano_log_limit_notice"
-_locale: Literal["en", "ja"] = "en"
+_locale: Locale = "en"
+
+_MESSAGES: dict[Locale, dict[str, str]] = {
+    "en": {
+        "equality.zero": "[equality: zero case]",
+        "equality.successor": "[equality: successor case]",
+        "addition.base": "[addition: base]",
+        "addition.recursive": "[addition: recursive]",
+        "multiplication.base": "[multiplication: base]",
+        "multiplication.recursive": "[multiplication: recursive]",
+        "truncated": (
+            "…Log output was truncated after {max_lines} lines. "
+            "Use smaller inputs and run the cell again."
+        ),
+        "midpoint_root": "{polynomial}: midpoint {midpoint} is a root",
+    },
+    "ja": {
+        "equality.zero": "[等値・0の場合]",
+        "equality.successor": "[等値・後者の場合]",
+        "addition.base": "[加法・基底]",
+        "addition.recursive": "[加法・再帰]",
+        "multiplication.base": "[乗法・基底]",
+        "multiplication.recursive": "[乗法・再帰]",
+        "truncated": (
+            "…ログは{max_lines}行で省略しました。入力を小さくして再実行してください。"
+        ),
+        "midpoint_root": "{polynomial}: 中点 {midpoint} は根",
+    },
+    "zh-Hans": {
+        "equality.zero": "[相等：零情形]",
+        "equality.successor": "[相等：后继情形]",
+        "addition.base": "[加法：基础情形]",
+        "addition.recursive": "[加法：递归情形]",
+        "multiplication.base": "[乘法：基础情形]",
+        "multiplication.recursive": "[乘法：递归情形]",
+        "truncated": "…日志在{max_lines}行后截断。请减小输入后重新运行。",
+        "midpoint_root": "{polynomial}：中点 {midpoint} 是根",
+    },
+    "zh-Hant": {
+        "equality.zero": "[相等：零情形]",
+        "equality.successor": "[相等：後繼情形]",
+        "addition.base": "[加法：基礎情形]",
+        "addition.recursive": "[加法：遞迴情形]",
+        "multiplication.base": "[乘法：基礎情形]",
+        "multiplication.recursive": "[乘法：遞迴情形]",
+        "truncated": "…記錄在{max_lines}行後截斷。請縮小輸入後重新執行。",
+        "midpoint_root": "{polynomial}：中點 {midpoint} 是根",
+    },
+    "es": {
+        "equality.zero": "[igualdad: caso cero]",
+        "equality.successor": "[igualdad: caso sucesor]",
+        "addition.base": "[suma: caso base]",
+        "addition.recursive": "[suma: caso recursivo]",
+        "multiplication.base": "[multiplicación: caso base]",
+        "multiplication.recursive": "[multiplicación: caso recursivo]",
+        "truncated": (
+            "…El registro se truncó tras {max_lines} líneas. "
+            "Reduce la entrada y vuelve a ejecutar."
+        ),
+        "midpoint_root": "{polynomial}: el punto medio {midpoint} es una raíz",
+    },
+    "pt-BR": {
+        "equality.zero": "[igualdade: caso zero]",
+        "equality.successor": "[igualdade: caso sucessor]",
+        "addition.base": "[adição: caso base]",
+        "addition.recursive": "[adição: caso recursivo]",
+        "multiplication.base": "[multiplicação: caso base]",
+        "multiplication.recursive": "[multiplicação: caso recursivo]",
+        "truncated": (
+            "…O log foi truncado após {max_lines} linhas. "
+            "Reduza a entrada e execute novamente."
+        ),
+        "midpoint_root": "{polynomial}: o ponto médio {midpoint} é uma raiz",
+    },
+    "fr": {
+        "equality.zero": "[égalité : cas zéro]",
+        "equality.successor": "[égalité : cas successeur]",
+        "addition.base": "[addition : cas de base]",
+        "addition.recursive": "[addition : cas récursif]",
+        "multiplication.base": "[multiplication : cas de base]",
+        "multiplication.recursive": "[multiplication : cas récursif]",
+        "truncated": (
+            "…Le journal a été tronqué après {max_lines} lignes. "
+            "Réduisez les entrées et relancez."
+        ),
+        "midpoint_root": "{polynomial} : le milieu {midpoint} est une racine",
+    },
+    "de": {
+        "equality.zero": "[Gleichheit: Nullfall]",
+        "equality.successor": "[Gleichheit: Nachfolgerfall]",
+        "addition.base": "[Addition: Basisfall]",
+        "addition.recursive": "[Addition: Rekursionsfall]",
+        "multiplication.base": "[Multiplikation: Basisfall]",
+        "multiplication.recursive": "[Multiplikation: Rekursionsfall]",
+        "truncated": (
+            "…Die Protokollausgabe wurde nach {max_lines} Zeilen gekürzt. "
+            "Verkleinern Sie die Eingaben und führen Sie die Zelle erneut aus."
+        ),
+        "midpoint_root": "{polynomial}: Der Mittelpunkt {midpoint} ist eine Nullstelle",
+    },
+    "ko": {
+        "equality.zero": "[같음: 0인 경우]",
+        "equality.successor": "[같음: 후속자 경우]",
+        "addition.base": "[덧셈: 기저 경우]",
+        "addition.recursive": "[덧셈: 재귀 경우]",
+        "multiplication.base": "[곱셈: 기저 경우]",
+        "multiplication.recursive": "[곱셈: 재귀 경우]",
+        "truncated": (
+            "…로그를 {max_lines}줄에서 줄였습니다. 입력을 작게 바꾸고 다시 실행하세요."
+        ),
+        "midpoint_root": "{polynomial}: 중점 {midpoint}은(는) 근입니다",
+    },
+    "ru": {
+        "equality.zero": "[равенство: случай нуля]",
+        "equality.successor": "[равенство: случай следующего]",
+        "addition.base": "[сложение: базовый случай]",
+        "addition.recursive": "[сложение: рекурсивный случай]",
+        "multiplication.base": "[умножение: базовый случай]",
+        "multiplication.recursive": "[умножение: рекурсивный случай]",
+        "truncated": (
+            "…Журнал обрезан после {max_lines} строк. "
+            "Уменьшите входные данные и запустите ячейку снова."
+        ),
+        "midpoint_root": "{polynomial}: середина {midpoint} является корнем",
+    },
+    "ar": {
+        "equality.zero": "[المساواة: حالة الصفر]",
+        "equality.successor": "[المساواة: حالة الخليفة]",
+        "addition.base": "[الجمع: الحالة الأساسية]",
+        "addition.recursive": "[الجمع: الحالة العودية]",
+        "multiplication.base": "[الضرب: الحالة الأساسية]",
+        "multiplication.recursive": "[الضرب: الحالة العودية]",
+        "truncated": (
+            "…اختُصر السجل بعد {max_lines} سطرًا. صغّر المدخلات ثم شغّل الخلية من جديد."
+        ),
+        "midpoint_root": "{polynomial}: نقطة المنتصف {midpoint} جذر",
+    },
+    "hi": {
+        "equality.zero": "[समानता: शून्य स्थिति]",
+        "equality.successor": "[समानता: उत्तराधिकारी स्थिति]",
+        "addition.base": "[जोड़: आधार स्थिति]",
+        "addition.recursive": "[जोड़: पुनरावर्ती स्थिति]",
+        "multiplication.base": "[गुणा: आधार स्थिति]",
+        "multiplication.recursive": "[गुणा: पुनरावर्ती स्थिति]",
+        "truncated": (
+            "…लॉग {max_lines} पंक्तियों के बाद छोटा कर दिया गया। इनपुट घटाकर सेल फिर चलाएँ।"
+        ),
+        "midpoint_root": "{polynomial}: मध्यबिंदु {midpoint} एक मूल है",
+    },
+}
+
+
+def translate(key: str, **values: object) -> str:
+    """Return a runtime message in the configured locale."""
+
+    return _MESSAGES[_locale][key].format(**values)
 
 
 def localized(english: str, japanese: str) -> str:
-    """Return a localized runtime message."""
+    """Return an English/Japanese compatibility message.
 
+    New runtime messages should use :func:`translate`.
+    """
     return japanese if _locale == "ja" else english
 
 
@@ -41,11 +226,7 @@ class _LineLimitFormatter(Formatter):
         if not isinstance(max_lines, int):
             return super().format(record)
         notice = copy(record)
-        notice.msg = localized(
-            f"…Log output was truncated after {max_lines} lines. "
-            "Use smaller inputs and run the cell again.",
-            f"…ログは{max_lines}行で省略しました。入力を小さくして再実行してください。",
-        )
+        notice.msg = translate("truncated", max_lines=max_lines)
         notice.args = ()
         return super().format(notice)
 
@@ -143,7 +324,7 @@ def config_log(
     fmt: str = "%(message)s",
     clear_handlers: bool = True,
     max_lines: int | None = None,
-    locale: Literal["en", "ja"] = "en",
+    locale: Locale = "en",
 ) -> None:
     """Write symbolic evaluation logs to standard error.
 
@@ -151,7 +332,8 @@ def config_log(
     existing root handlers and manages only the handler installed here.
     ``max_lines`` emits one truncation notice after the limit. Pass
     ``"Level %(levelno)s: %(message)s"`` as ``fmt`` to expose internal levels.
-    Runtime labels are English by default; ``locale="ja"`` selects Japanese.
+    Runtime labels are English by default. ``SUPPORTED_LOCALES`` lists the
+    available translations.
     """
 
     global _locale
@@ -159,8 +341,9 @@ def config_log(
         isinstance(max_lines, bool) or not isinstance(max_lines, int) or max_lines < 1
     ):
         raise ValueError("max_lines must be a positive integer or None")
-    if locale not in ("en", "ja"):
-        raise ValueError("locale must be 'en' or 'ja'")
+    if locale not in SUPPORTED_LOCALES:
+        supported = ", ".join(SUPPORTED_LOCALES)
+        raise ValueError(f"locale must be one of: {supported}")
     _locale = locale
 
     root_logger = getLogger()

{pythonic_peano_arithmetic-0.3.0.dist-info → pythonic_peano_arithmetic-0.4.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: pythonic-peano-arithmetic
-Version: 0.3.0
+Version: 0.4.0
 Summary: Build arithmetic from Peano axioms and trace algebraic real roots
 Keywords: arithmetic,education,mathematics,peano
 Author: Yusuke Hayashi
@@ -35,10 +35,20 @@ The implementation is intentionally small and explicit. Its purpose is to make
 the correspondence between a mathematical definition and executable Python
 visible—not to compete with Python's built-in numeric types.
 
-The interactive course runs entirely in the browser with Zensical and Pyodide:
-
-- [English course](https://peano.yusuke-hayashi.com/en/)
-- [日本語の教材](https://peano.yusuke-hayashi.com/)
+The interactive course runs entirely in the browser with Zensical and Pyodide.
+It is available in
+[English](https://peano.yusuke-hayashi.com/en/),
+[日本語](https://peano.yusuke-hayashi.com/),
+[简体中文](https://peano.yusuke-hayashi.com/zh/),
+[繁體中文](https://peano.yusuke-hayashi.com/zh-hant/),
+[Español](https://peano.yusuke-hayashi.com/es/),
+[Português (Brasil)](https://peano.yusuke-hayashi.com/pt-br/),
+[Français](https://peano.yusuke-hayashi.com/fr/),
+[Deutsch](https://peano.yusuke-hayashi.com/de/),
+[한국어](https://peano.yusuke-hayashi.com/ko/),
+[Русский](https://peano.yusuke-hayashi.com/ru/),
+[العربية](https://peano.yusuke-hayashi.com/ar/), and
+[हिन्दी](https://peano.yusuke-hayashi.com/hi/).
 
 ## What you can observe
 
@@ -98,7 +108,9 @@ n + 0    = n
 n + S(m) = S(n + m)
 ```
 
-Pass `locale="ja"` to `config_log` to show Japanese rule labels.
+Pass a BCP 47 locale to `config_log` to localize rule labels. Supported values
+are `en`, `ja`, `zh-Hans`, `zh-Hant`, `es`, `pt-BR`, `fr`, `de`, `ko`, `ru`,
+`ar`, and `hi`.
 
 ### Integers: equality of representatives
 
@@ -220,10 +232,10 @@ intermediate Peano representations; returned endpoints are still `Rational`.
 ## Documentation development
 
 ```bash
-make docs          # build Japanese at / and English at /en/
+make docs          # build all 12 course languages
 make docs-serve    # preview Japanese
 make docs-serve-en # preview English
-make docs-a11y     # run WCAG checks on both languages
+make docs-a11y     # run WCAG checks on all 120 localized pages
 ```
 
 The site is deployed from `main` to Cloudflare Workers Static Assets. Deployment

pythonic_peano_arithmetic-0.4.0.dist-info/RECORD

@@ -0,0 +1,12 @@
+peano/__init__.py,sha256=epwxqb9KrjeVrj2UvtTZqGpVyyRSNC2jhpIqfl59OjI,1224
+peano/algebraic_root.py,sha256=_HcbF6pI4j5lOZQtLhHYpDhSkrNAtnGrcCMIJk51ov0,6190
+peano/integer.py,sha256=TU9bRMfz5CgR_yt_Km9AMYIOiD7H3aAUFq9tic-FaKk,11348
+peano/natural_number.py,sha256=swfvyCHIb1gFbofjsJ1K1V0Z2KLk1uCZcQXwpsMrIAM,11650
+peano/polynomial.py,sha256=MicwzTsFhj4wuK1TJyMOBwjtmDwb6XXp8jCMXZQ-2aA,14785
+peano/py.typed,sha256=OHLhUlJwzVblRS88hQOvYv5HXJG8mzugIVr_EYAOCmU,17
+peano/rational.py,sha256=luLqfc4SHZAwwA6ZEHXaPHkPvzcXcmlS5D5MTsKmtts,10070
+peano/utils.py,sha256=rzSp_ej65wcuMHklD520wMI4PkrPueL4PwOHU0FK160,14406
+pythonic_peano_arithmetic-0.4.0.dist-info/licenses/LICENSE,sha256=E0sqyNNROMqWOfz0_Lem7-mLLWxj5QRMg3R30cUs9GQ,1071
+pythonic_peano_arithmetic-0.4.0.dist-info/WHEEL,sha256=l3MmIxu8qaet7ng2J9fFoJnYGj8IREj7jXTbgsuzmy4,81
+pythonic_peano_arithmetic-0.4.0.dist-info/METADATA,sha256=T0FLZbFGdOicAlveIfe3YBSO7HUgorZFfN6Xgk1d2c8,8298
+pythonic_peano_arithmetic-0.4.0.dist-info/RECORD,,

pythonic_peano_arithmetic-0.3.0.dist-info/RECORD

@@ -1,12 +0,0 @@
-peano/__init__.py,sha256=jBGPaHCGy70ES8dXHX05NtaNYbMEUMgjRT_56S7TRuQ,1180
-peano/algebraic_root.py,sha256=2728Iqu2z20sLD5fH1TjK5CjGdXFcYuRdnMtuZreIsk,6208
-peano/integer.py,sha256=TU9bRMfz5CgR_yt_Km9AMYIOiD7H3aAUFq9tic-FaKk,11348
-peano/natural_number.py,sha256=gfRKqrIFBYhagOIi9LQfqkk16ybGSzLKaP-NsH9zX6w,11817
-peano/polynomial.py,sha256=MicwzTsFhj4wuK1TJyMOBwjtmDwb6XXp8jCMXZQ-2aA,14785
-peano/py.typed,sha256=OHLhUlJwzVblRS88hQOvYv5HXJG8mzugIVr_EYAOCmU,17
-peano/rational.py,sha256=luLqfc4SHZAwwA6ZEHXaPHkPvzcXcmlS5D5MTsKmtts,10070
-peano/utils.py,sha256=JAOYjcwAQBigDpC_0KZIJGeXVuK7DhxRVBhyiWzBm7c,6195
-pythonic_peano_arithmetic-0.3.0.dist-info/licenses/LICENSE,sha256=E0sqyNNROMqWOfz0_Lem7-mLLWxj5QRMg3R30cUs9GQ,1071
-pythonic_peano_arithmetic-0.3.0.dist-info/WHEEL,sha256=l3MmIxu8qaet7ng2J9fFoJnYGj8IREj7jXTbgsuzmy4,81
-pythonic_peano_arithmetic-0.3.0.dist-info/METADATA,sha256=HtyjZ0fIcIL5NckCgAgZRYDat19DnFAgSBG9flCBj5A,7638
-pythonic_peano_arithmetic-0.3.0.dist-info/RECORD,,