derivation_solve_for
Solve a mathematical expression for a specified variable, returning all solutions while recording notes, assumptions, and limitations for traceable symbolic derivation.
Instructions
求解變數(帶人類知識記錄)
將當前表達式求解為指定變數的函數。
Args:
variable: 要求解的變數
description: 操作描述
notes: 人類洞見
assumptions: 這步的假設
limitations: 這步的限制
Returns:
求解結果(可能有多個解)
Example:
derivation_load_formula("m*a - F", formula_id="newton")
derivation_solve_for(
variable="a",
notes="假設質量不變",
assumptions=["Constant mass"]
)
→ a = F/m
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| notes | No | ||
| variable | Yes | ||
| session_id | No | ||
| assumptions | No | ||
| description | No | ||
| limitations | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||