poly_roots
All real roots of a polynomial, each individually Krawczyk-certified with a strict error box. Coefficients are highest degree first: [1,-2,-5,6] means x^3-2x^2-5x+6. Use it instead of letting a language model estimate roots. Complex roots are not returned (real only).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| tolerance | No | Tolerance used to decide a root (optional; internal precision is used by default). | |
| coefficients | Yes | Polynomial coefficients, highest degree first. [1,-2,-5,6] means x^3-2x^2-5x+6. |