It should be fixed in Symbolics, since Nemo is used as a backend. But since their recent feature announcement mentions “multivariate polynomial solving”, I understand that is a feature limitation not a bug.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Using Symbolics & Nemo; Unexpected roots of simple 2nd degree polynomial equation | 2 | 122 | March 23, 2025 | |
| New symbolic solver for Symbolics.jl! | 27 | 2291 | December 5, 2024 | |
| Exact solution of linear system with Symbolics | 2 | 440 | February 3, 2022 | |
| Learn to use Symbolics.jl | 1 | 178 | November 3, 2024 | |
| How to use `solve_for()` from `Symbolics.jl`? | 0 | 527 | September 20, 2021 |