intro_many
Define and store multiple symbolic variables with specific assumptions efficiently. Ideal for managing complex mathematical variables in symbolic algebra tasks.
Instructions
Introduces multiple sympy variables with specified assumptions and stores them.
Takes a list of VariableDefinition objects for the 'variables' parameter.
Each object in the list specifies:
- var_name: The name of the variable (string).
- pos_assumptions: A list of positive assumption strings (e.g., ["real", "positive"]).
- neg_assumptions: A list of negative assumption strings (e.g., ["complex"]).
The JSON payload for the 'variables' argument should be a direct list of these objects, for example:
```json
[
{
"var_name": "x",
"pos_assumptions": ["real", "positive"],
"neg_assumptions": ["complex"]
},
{
"var_name": "y",
"pos_assumptions": [],
"neg_assumptions": ["commutative"]
}
]
```
The assumptions must be consistent, so a real number is not allowed to be non-commutative.
Prefer this over intro() for multiple variables because it's more efficient.
Input Schema
Name | Required | Description | Default |
---|---|---|---|
variables | Yes |
Input Schema (JSON Schema)
{
"$defs": {
"VariableDefinition": {
"properties": {
"neg_assumptions": {
"default": [],
"items": {
"type": "string"
},
"title": "Neg Assumptions",
"type": "array"
},
"pos_assumptions": {
"default": [],
"items": {
"type": "string"
},
"title": "Pos Assumptions",
"type": "array"
},
"var_name": {
"title": "Var Name",
"type": "string"
}
},
"required": [
"var_name"
],
"title": "VariableDefinition",
"type": "object"
}
},
"properties": {
"variables": {
"items": {
"$ref": "#/$defs/VariableDefinition"
},
"title": "Variables",
"type": "array"
}
},
"required": [
"variables"
],
"title": "intro_manyArguments",
"type": "object"
}