sync ms

app.py

@@ -3,15 +3,31 @@ import gradio as gr
 from sympy.core.numbers import Rational
 from solution import BadInput, solutions
 
+EN_US = os.getenv("LANG") != "zh_CN.UTF-8"
+ZH2EN = {
+    "比较 π^n 与 p/q 大小": "Compare π^n and p/q",
+    "#### 证明结果": "#### Proof result",
+    "比较 e^(p/q) 与 u/v 大小": "Compare e^(p/q) and u/v",
+    "比较 e 与 p/q 大小": "Compare e and p/q",
+    "比较 π 与 p/q 大小": "Compare π and p/q",
+    "# “注意到”证明法比较大小": "# Compare sizes by 'Note that' proof",
+    "注意到": "Note that",
+    "证毕!": "QED",
+}
+
+
+def _L(zh_txt: str):
+    return ZH2EN[zh_txt] if EN_US else zh_txt
+
 
 def generate_md(args_dict, name):
     try:
         ans_latex = solutions[name](**args_dict).get_latex_ans()
 
     except BadInput as e:
-        return f"Incorrectly entered. Please enter a valid number: {e}"
+        return f"输入错误, 请输入有效的数字: {e}"
 
-    return f"Note that $${ans_latex}$$ QED"
+    return f"{_L('注意到')} $${ans_latex}$$ {_L('证毕!')}"
 
 
 def float_to_fraction(x):
@@ -44,7 +60,7 @@ def float_to_fraction(x):
 
 def infer_pi(p, q):
     if q == 0:
-        return "The denominator can not be 0 !"
+        return "分母不能为 0 !"
 
     p, q = float_to_fraction(p / q)
     args_dict = {"p": p, "q": q}
@@ -53,7 +69,7 @@ def infer_pi(p, q):
 
 def infer_e(p, q):
     if q == 0:
-        return "The denominator can not be 0 !"
+        return "分母不能为 0 !"
 
     p, q = float_to_fraction(p / q)
     args_dict = {"p": p, "q": q}
@@ -62,7 +78,7 @@ def infer_e(p, q):
 
 def infer_eq(q1, q2, u, v):
     if q2 == 0 or v == 0:
-        return "The denominator can not be 0 !"
+        return "分母不能为 0 !"
 
     q1, q2 = float_to_fraction(q1 / q2)
     u, v = float_to_fraction(u / v)
@@ -72,7 +88,7 @@ def infer_eq(q1, q2, u, v):
 
 def infer_pin(n: int, p, q):
     if q == 0:
-        return "The denominator can not be 0 !"
+        return "分母不能为 0 !"
 
     p, q = float_to_fraction(p / q)
     args_dict = {"n": n, "p": p, "q": q}
@@ -88,7 +104,7 @@ if __name__ == "__main__":
         __import__(f"solutions.{file_name[:-3]}")
 
     with gr.Blocks() as demo:
-        gr.Markdown("# Compare sizes by 'Note that' proof")
+        gr.Markdown(_L("# “注意到”证明法比较大小"))
         with gr.Tabs():
             with gr.TabItem("π"):
                 gr.Interface(
@@ -98,12 +114,12 @@ if __name__ == "__main__":
                         gr.Number(label="q", value=100),
                     ],
                     outputs=gr.Markdown(
-                        value="#### Proof result",
+                        value=_L("#### 证明结果"),
                         show_copy_button=True,
                         container=True,
                         min_height=122,
                     ),
-                    title="Compare π and p/q",
+                    title=_L("比较 π 与 p/q 大小"),
                     flagging_mode="never",
                 )
 
@@ -115,12 +131,12 @@ if __name__ == "__main__":
                         gr.Number(label="q", value=1000),
                     ],
                     outputs=gr.Markdown(
-                        value="#### Proof result",
+                        value=_L("#### 证明结果"),
                         show_copy_button=True,
                         container=True,
                         min_height=122,
                     ),
-                    title="Compare e and p/q",
+                    title=_L("比较 e 与 p/q 大小"),
                     flagging_mode="never",
                 )
 
@@ -134,12 +150,12 @@ if __name__ == "__main__":
                         gr.Number(label="v", value=1000),
                     ],
                     outputs=gr.Markdown(
-                        value="#### Proof result",
+                        value=_L("#### 证明结果"),
                         show_copy_button=True,
                         container=True,
                         min_height=122,
                     ),
-                    title="Compare e^(p/q) and u/v",
+                    title=_L("比较 e^(p/q) 与 u/v 大小"),
                     flagging_mode="never",
                 )
 
@@ -152,12 +168,12 @@ if __name__ == "__main__":
                         gr.Number(label="q", value=1),
                     ],
                     outputs=gr.Markdown(
-                        value="#### Proof result",
+                        value=_L("#### 证明结果"),
                         show_copy_button=True,
                         container=True,
                         min_height=122,
                     ),
-                    title="Compare π^n and p/q",
+                    title=_L("比较 π^n 与 p/q 大小"),
                     flagging_mode="never",
                 )
 

requirements.txt

@@ -1,4 +1,3 @@
 sympy~=1.12
 pywebview~=5.3.2
-ttkbootstrap~=1.10.1
-gradio
+ttkbootstrap~=1.10.1

solution.py

@@ -1,5 +1,5 @@
 from typing import Iterable, Callable
-from sympy import Eq, linsolve, simplify, latex, Expr, Symbol
+from sympy import Eq, Expr, Symbol, linsolve, simplify, latex
 
 
 class CannotCalculate(Exception):