Show solver steps in Symbolics.jl

Specific Domains Modelling & Simulations
1

Sorry if is this is a repeat post. I couldn’t find anything in the Symbolics.jl docs nor in some cursory Google searching.

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

Is there anyway to show the steps (i.e. the transformations to the equation) the solver took to get those results? Thank you for your help!

1 Like
2

This would be a very useful feature. Perhaps you can create an issue in Symbolics.jl and mark it as feature request?

3

It’s a just quadratic equation in P. You won’t get “steps” for solving something like this in any CAS (like Mathematica or Maple). You’ll have more luck with LLMs.