Obsidian 插件：Pocket Symbolic Solver

概述

Pocket Symbolic Solver 是一款专注于符号计算的 Obsidian 插件，核心功能是解出方程中指定符号的表达式，并将结果以展示数学格式插入笔记。它内置了 nerdamer 求解引擎，能在本地后台线程中运行，无需依赖外部服务。用户只需选中如 F=m*a 这样的文本，指定要解的变量（如 a），插件即可计算出 a = F/m 并生成标准的 LaTeX 代码，极大简化了物理、数学笔记中公式推导的排版工作。

典型场景包括快速推导物理公式或整理数学笔记。例如，在记录运动学公式 v=u+a*t 时，若需解出时间 t，插件能直接给出 t = (v-u)/a 的渲染结果；对于二次方程 x^2-5*x+6=0，它能列出所有实数根并按大小排序。此外，它还能处理复数根（如 x^2+1=0 解出 i 和 -i）以及通解形式（如 sin(x)=0 解出 x = k·π），让复杂的数学表达在笔记中清晰呈现。

相比其他计算插件，该工具的特色在于对多解和特殊解的友好展示，以及严格的错误反馈机制。当方程无解、变量不在方程中或计算超时（默认 5 秒）时，它会给出明确的简短提示，避免无效操作。Pro 版本还增加了参数表格批量计算、保存常用方程及搜索历史功能，适合需要反复验证不同参数组合的用户。所有计算均在本地 Web Worker 中完成，不占用主线程，确保 Obsidian 界面保持流畅。

使用前需注意，方程需遵循 nerdamer 语法，如用 * 表示乘法、^ 表示幂次，且未写 = 时默认解 expression = 0。该插件不适合需要高精度数值模拟或复杂微分方程求解的场景，其核心优势在于代数符号的解析与格式化。若方程过于复杂导致超时，需调整时间限制或简化表达式。免费版已包含核心求解与插入功能，Pro 功能需通过 GitHub Sponsors 支持解锁。