factor_expression
Factorize algebraic expressions to find roots, simplify rational functions, and analyze stability. Returns factored form with LaTeX for direct use.
Instructions
Factorize algebraic expression.
═══════════════════════════════════════════════════════════════════════
🆕 PHASE 1 - NOT IN SYMPY-MCP OR NSFORGE v0.2.3!
═══════════════════════════════════════════════════════════════════════
DETERMINISTIC: Always attempts factorization (unlike `simplify()`).
Use cases:
- Find roots: x²-1 → (x-1)(x+1) ⇒ roots at x=±1
- Simplify rational functions
- Characteristic equations (eigenvalues)
- Stability analysis (find poles)
Args:
expression: Expression to factorize
deep: Factor recursively into subexpressions (default: False)
modulus: Modular arithmetic (for finite fields)
Returns:
Factored expression with LaTeX
Examples:
# Quadratic factorization
factor_expression("x**2 - 1")
→ {"result": "(x - 1)*(x + 1)", ...}
# Find roots
factor_expression("x**2 + 5*x + 6")
→ {"result": "(x + 2)*(x + 3)", ...}
# Compartment model characteristic equation
factor_expression("s**2 + (k12 + k21 + k10)*s + k21*k10")
→ {"result": "(s + λ1)*(s + λ2)", ...} # eigenvalues
# Rational function numerator
factor_expression("C**2 - K_m**2")
→ {"result": "(C - K_m)*(C + K_m)", ...}
# Difference of cubes
factor_expression("x**3 - 8")
→ {"result": "(x - 2)*(x**2 + 2*x + 4)", ...}
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| deep | No | ||
| modulus | No | ||
| expression | Yes |
Output Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||