intro
Define and store a SymPy variable with specific mathematical assumptions, enabling precise symbolic algebra computations in the Symbolic Algebra MCP Server.
Instructions
Introduces a sympy variable with specified assumptions and stores it.
Takes a variable name and a list of positive and negative assumptions.
Input Schema
Name | Required | Description | Default |
---|---|---|---|
neg_assumptions | Yes | ||
pos_assumptions | Yes | ||
var_name | Yes |
Input Schema (JSON Schema)
{
"$defs": {
"Assumption": {
"enum": [
"algebraic",
"commutative",
"complex",
"extended_negative",
"extended_nonnegative",
"extended_nonpositive",
"extended_nonzero",
"extended_positive",
"extended_real",
"finite",
"hermitian",
"imaginary",
"infinite",
"integer",
"irrational",
"negative",
"noninteger",
"nonnegative",
"nonpositive",
"nonzero",
"positive",
"rational",
"real",
"transcendental",
"zero"
],
"title": "Assumption",
"type": "string"
}
},
"properties": {
"neg_assumptions": {
"items": {
"$ref": "#/$defs/Assumption"
},
"title": "Neg Assumptions",
"type": "array"
},
"pos_assumptions": {
"items": {
"$ref": "#/$defs/Assumption"
},
"title": "Pos Assumptions",
"type": "array"
},
"var_name": {
"title": "Var Name",
"type": "string"
}
},
"required": [
"var_name",
"pos_assumptions",
"neg_assumptions"
],
"title": "introArguments",
"type": "object"
}