integrate_expression

Compute integrals of mathematical expressions with respect to a specified variable, supporting both indefinite and definite integration for symbolic algebra solutions.

Instructions

Integrates an expression with respect to a variable using SymPy's integrate function.

Args:
    expr_key: The key of the expression (previously introduced) to integrate.
    var_name: The name of the variable to integrate with respect to.
    lower_bound: Optional lower bound for definite integration.
    upper_bound: Optional upper bound for definite integration.

Example:
    # Introduce a variable
    intro("x", [Assumption.REAL], [])

    # Create an expression to integrate: x^2
    expr_key = introduce_expression("x**2")

    # Indefinite integration
    indefinite_result = integrate_expression(expr_key, "x")
    # Returns x³/3

    # Definite integration from 0 to 1
    definite_result = integrate_expression(expr_key, "x", "0", "1")
    # Returns 1/3

Returns:
    A key for the integrated expression.

Input Schema

Name	Required	Description	Default
`expr_key`	Yes
`lower_bound`	No
`upper_bound`	No
`var_name`	Yes

Input Schema (JSON Schema)

{
  "properties": {
    "expr_key": {
      "title": "Expr Key",
      "type": "string"
    },
    "lower_bound": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Lower Bound"
    },
    "upper_bound": {
      "anyOf": [
        {
          "type": "string"
        },
        {
          "type": "null"
        }
      ],
      "default": null,
      "title": "Upper Bound"
    },
    "var_name": {
      "title": "Var Name",
      "type": "string"
    }
  },
  "required": [
    "expr_key",
    "var_name"
  ],
  "title": "integrate_expressionArguments",
  "type": "object"
}

Symbolic Algebra MCP Server

integrate_expression

Instructions

Input Schema

Input Schema (JSON Schema)

Other Tools from Symbolic Algebra MCP Server

Related Tools

MCP directory API