polynomial_ring_operation
Compute Groebner bases, ideal dimensions, varieties, and reductions for polynomial rings, plus check if a set is a Groebner basis.
Instructions
Polynomial ring operations: construct rings and compute Groebner bases, ideals, quotients
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| base_ring | No | Base ring | |
| operation | Yes | One of: groebner_basis, ideal_dimension, ideal_variety, reduce, is_groebner | |
| ring_vars | Yes | Variable names, e.g. ['a', 'b', 'c'] | |
| polynomials | Yes | Polynomials as strings, e.g. ['a^2+b', 'b^2-1'] |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||