query_assumptions
Determines whether a mathematical expression satisfies a specific property under given assumptions. Returns True, False, or Unknown to validate domains and identify singularities.
Instructions
Query properties of an expression based on assumptions.
═══════════════════════════════════════════════════════════════════════
🆕 NOT AVAILABLE IN SYMPY-MCP! Uses sympy.assumptions module.
═══════════════════════════════════════════════════════════════════════
Use cases:
- Check if expression is always positive
- Verify domain validity
- Check for potential singularities
Available queries:
- positive, negative, nonnegative, nonpositive
- real, imaginary, complex
- integer, rational, irrational
- even, odd, prime
- finite, infinite, zero, nonzero
Args:
expression: Expression to query about
query: Property to check
assumptions: Assumptions about symbols
{"x": ["positive", "real"], "n": ["integer"]}
Returns:
Query result (True, False, or None if unknown)
Examples:
# Is x**2 always positive?
query_assumptions("x**2", "positive", {"x": ["real", "nonzero"]})
→ {"result": True, ...}
# Is exp(x) always real?
query_assumptions("exp(x)", "real", {"x": ["real"]})
→ {"result": True, ...}
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| query | Yes | ||
| expression | Yes | ||
| assumptions | No |
Output Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||