Update app.py/requirements/README: implicit mult + safe README (no sdk_version)

README.md

@@ -4,7 +4,6 @@ emoji: 🧮
 colorFrom: gray
 colorTo: indigo
 sdk: gradio
-sdk_version: "4"
 app_file: app.py
 pinned: false
 ---

app.py

@@ -1,4 +1,4 @@
-
+\
 import re
 import gradio as gr
 import sympy as sp
@@ -9,7 +9,7 @@ from sympy.parsing.sympy_parser import (
 
 TITLE = "LanguageBridge — Math Fast Agent (SymPy)"
 
-# ---------- 輸入正規化：隱式乘法 / ^→** / 全形→半形 / √→sqrt ----------
+# ---- 正規化：全形→半形、√→sqrt、^→**、自動補乘號（隱式→顯式） ----
 def normalize_ascii(s: str) -> str:
     table = str.maketrans({
         '（':'(', '）':')', '，':',', '；':';', '：':':',
@@ -19,17 +19,17 @@ def normalize_ascii(s: str) -> str:
     return s.translate(table)
 
 def auto_insert_stars(s: str) -> str:
-    s = re.sub(r'(\d)([A-Za-z])', r'\1*\2', s)   # 3x -> 3*x
-    s = re.sub(r'([A-Za-z0-9_])\(', r'\1*(', s)   # x( -> x*(
-    s = re.sub(r'\)([A-Za-z0-9_])', r')*\1', s)   # )x -> )*x
-    s = re.sub(r'(\d)\s*sqrt', r'\1*sqrt', s)     # 2sqrt -> 2*sqrt
+    s = re.sub(r'(\d)([A-Za-z])', r'\1*\2', s)      # 3x -> 3*x
+    s = re.sub(r'([A-Za-z0-9_])\(', r'\1*(', s)      # x( -> x*(
+    s = re.sub(r'\)([A-Za-z0-9_])', r')*\1', s)      # )x -> )*x
+    s = re.sub(r'(\d)\s*sqrt', r'\1*sqrt', s)        # 2sqrt -> 2*sqrt
     return s
 
 def preprocess(expr: str) -> str:
     s = (expr or "").strip()
     s = normalize_ascii(s)
-    s = s.replace("^", "**")      # 2^3 -> 2**3
-    s = auto_insert_stars(s)      # 隱式乘法 -> 顯式
+    s = s.replace("^", "**")                         # 2^3 -> 2**3
+    s = auto_insert_stars(s)                         # 隱式乘法補 *
     return s
 
 TRANS = standard_transformations + (implicit_multiplication_application, convert_xor)
@@ -49,12 +49,14 @@ def to_sympy_eq(s: str):
 def solve_math(q: str):
     q = (q or "").strip()
     if not q:
-        return "請輸入算式或方程，例如：2x+3=11；sin(x)^2 + cos(x)^2；factor(x^2-9)"
+        return "請輸入算式或方程，例如：3x+7=1；sin(x)^2 + cos(x)^2；factor(x^4-1)"
+
     try:
+        # 允許多行或分號分隔
         parts = [s.strip() for seg in q.split(";") for s in seg.split("\n")]
         parts = [p for p in parts if p]
 
-        # 有 '=' 就走解方程（可聯立）
+        # 有 '=' ：解方程（可聯立）
         if any("=" in p for p in parts):
             eqs, syms = [], set()
             for s in parts:
@@ -67,12 +69,12 @@ def solve_math(q: str):
             sol = sp.solve(eqs, list(syms), dict=True)
             if not sol:
                 return "無解或需要更多條件。"
-            return "\n".join(
-                f"解 {i}: " + ", ".join([f\"{k} = {sp.simplify(v)}\" for k, v in d.items()])
+            return "\\n".join(
+                f"解 {i}: " + ", ".join([f"{k} = {sp.simplify(v)}" for k, v in d.items()])
                 for i, d in enumerate(sol, 1)
             )
 
-        # 否則當一般表達式：簡化/因式/微分/積分
+        # 否則視為一般表達式：簡化/因式/微分/積分
         expr = to_sympy_expr(q)
         out = []
         try: out.append(f"簡化：{sp.simplify(expr)}")
@@ -86,20 +88,20 @@ def solve_math(q: str):
             out.append(f"對 {x} 微分：{sp.diff(expr, x)}")
             out.append(f"對 {x} 積分：{sp.integrate(expr, x)}")
         except Exception: pass
-        return "\n".join(out) if out else f"結果：{expr}"
+        return "\\n".join(out) if out else f"結果：{expr}"
+
     except Exception as e:
         return f"解析失敗：{e}"
 
 with gr.Blocks(title=TITLE) as demo:
     gr.Markdown(
         "## " + TITLE + "\\n"
-        "貼上算式（可多行 / 用分號 `;` 分隔）。\\n\\n"
-        "**可直接輸入隱式乘法：** `3x`、`2(x+1)`、`(x)(x+1)`、`2sqrt(x)`；"
-        "也可用 `x^2`（自動轉為 `x**2`），`√(x)`（自動轉為 `sqrt(x)`）。"
+        "貼上算式（可多行 / `;` 分隔）。支援：隱式乘法 `3x`, `2(x+1)`, `(x)(x+1)`, `2sqrt(x)`；"
+        "`x^2` 自動轉 `x**2`，`√(x)` 自動轉 `sqrt(x)`。"
     )
     q = gr.Textbox(lines=6, label="題目 / 算式（可含聯立方程）")
     out = gr.Textbox(lines=12, label="輸出")
     gr.Button("送出 🚀").click(fn=solve_math, inputs=q, outputs=out)
 
 if __name__ == "__main__":
-    demo.launch()   # 在 Space 環境不用 share
+    demo.launch()

requirements.txt

@@ -1,2 +1,3 @@
-gradio>=4.0.0
+gradio==4.44.1
 sympy>=1.12
+huggingface_hub==0.23.4