solve_algebraically

Solve algebraic equations symbolically for a specified variable across domains like complex, real, integers, or naturals. Outputs solutions in LaTeX format or error messages if invalid.

Instructions

Solves an equation (expression = 0) algebraically for a given variable.

Args:
    expr_key: The key of the expression (previously introduced) to be solved.
    solve_for_var_name: The name of the variable (previously introduced) to solve for.
    domain: The domain to solve in: Domain.COMPLEX, Domain.REAL, Domain.INTEGERS, or Domain.NATURALS. Defaults to Domain.COMPLEX.

Returns:
    A LaTeX string representing the set of solutions. Returns an error message string if issues occur.

Input Schema

Name	Required	Default
`domain`	No	complex
`expr_key`	Yes
`solve_for_var_name`	Yes

Input Schema (JSON Schema)

{
  "$defs": {
    "Domain": {
      "enum": [
        "complex",
        "real",
        "integers",
        "naturals"
      ],
      "title": "Domain",
      "type": "string"
    }
  },
  "properties": {
    "domain": {
      "$ref": "#/$defs/Domain",
      "default": "complex"
    },
    "expr_key": {
      "title": "Expr Key",
      "type": "string"
    },
    "solve_for_var_name": {
      "title": "Solve For Var Name",
      "type": "string"
    }
  },
  "required": [
    "expr_key",
    "solve_for_var_name"
  ],
  "title": "solve_algebraicallyArguments",
  "type": "object"
}

Symbolic Algebra MCP Server

solve_algebraically

Instructions

Input Schema

Input Schema (JSON Schema)

Other Tools from Symbolic Algebra MCP Server

Related Tools

MCP directory API