Module symbolic_solve 

Equation solving (Gap analysis §3.2) — polynomial roots (any degree), real-root extraction, linear systems, and roots of a CAS polynomial expression.

Reuses the engine’s real root finder (crate::solvers::polynomial::polynomial_roots, Durand–Kerner) and the polynomial least-squares fit (crate::solvers::interpolation::poly_fit) — no re-implementation. (The earlier sub-agent could not reach these because it was built on the wrong branch; here they exist.)

Enums

SolveError

Functions

real_roots

The real roots (those with |im| < tol), ascending.

roots

All complex roots of a real polynomial given in descending coefficients (coeffs[0]·xⁿ + … + coeffs[n]).

solve_linear_system

Solve A x = b (row-major n×n) by Gaussian elimination with partial pivoting. None if singular or shapes are inconsistent.

solve_polynomial_expr

Real roots of a polynomial expression of one variable, by sampling it at degree+1 points, recovering its power-basis coefficients via poly_fit, and root-finding. (Exact for a genuine polynomial of the given degree.)