Show solver steps in `symbolic_solve`

[HiramTheHero]

Hello,

Thank you for this software.

I have the following code

using Symbolics, Nemo

@variables r P K

symbolic_solve(0 ~ r * P * (1 - (P / K)), P)

The output is:

2-element Vector{Any}:
 K
 0

It would be awesome to see what steps the solver took to get the final solution(s). Is this feature in Symbolics.jl? I haven't seen anything in the docs.

[AJ0070]

@HiramTheHero Currently, Symbolics.jl can't show the steps for symbolic_solve. For your equation, the solver identifies it as a polynomial, factors it into P * (r - (r/K)*P) = 0, and then finds the roots P = 0 and P = K.