aciang's picture
Upload folder using huggingface_hub
19d3674 verified
raw
history blame
2.94 kB
\
import gradio as gr
import sympy as sp
TITLE = "LanguageBridge — Math Fast Agent (SymPy)"
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)"
try:
# 情境 A:含 '=' → 視為(可能多條)方程,支援分號/換行分隔
if "=" in q:
# 將多行與分號斷開
parts = []
for seg in q.split(";"):
parts += [s.strip() for s in seg.split("\n")]
parts = [s for s in parts if s]
eqs = []
syms = set()
for s in parts:
if "=" not in s:
continue
left, right = s.split("=", 1)
L = sp.sympify(left)
R = sp.sympify(right)
eq = sp.Eq(L, R)
eqs.append(eq)
syms |= L.free_symbols | R.free_symbols
if not eqs:
return "沒有可解析的方程式。"
if not syms:
syms = {sp.symbols("x")}
# 解聯立(回傳 dict 列表)
sol = sp.solve(eqs, list(syms), dict=True)
if not sol:
return "無解或需要更多條件。"
lines = []
for i, s in enumerate(sol, 1):
lines.append(
"解 {}: ".format(i) + ", ".join(f"{k} = {sp.simplify(v)}" for k, v in s.items())
)
return "\n".join(lines)
# 情境 B:純表達式 → 嘗試簡化、因式、微分、積分
expr = sp.sympify(q)
out = []
try:
simp = sp.simplify(expr)
out.append(f"簡化:{simp}")
except Exception:
pass
try:
fac = sp.factor(expr)
if fac != expr:
out.append(f"因式分解:{fac}")
except Exception:
pass
try:
x = list(expr.free_symbols)[0] if expr.free_symbols else sp.symbols("x")
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}"
except Exception as e:
return f"解析失敗:{e}"
with gr.Blocks(title=TITLE) as demo:
gr.Markdown(f"## {TITLE}\n- 貼上**算式/方程**(可多行;或用分號 `;` 分隔聯立)\n- 範例:`2x+3=11`、`x+y=3; x-y=1`、`sin(x)**2 + cos(x)**2`、`factor(x**2-9)`")
q = gr.Textbox(lines=6, label="題目 / 算式(可含聯立方程)")
out = gr.Textbox(lines=12, label="輸出")
btn = gr.Button("送出 🚀")
btn.click(solve_math, q, out)
if __name__ == "__main__":
# 在 Colab 預覽:一定要 share=True 才會印出 public URL
demo.launch(share=True)