Symbolics.jl can’t solve this equation but if I multiply both sides by x^3 then it can. Wolfram Alpha can solve both. Symbolics.jl’s docs say it can do polynomial equations; do these count? What’s the problem? [2edaba10] Nemo v0.46.2 [0c5d862f] Symbolics v6.11.0 using Symbolics, Nemo @variable…

Create an issue: Issues · JuliaSymbolics/Symbolics.jl · GitHub Not clear to me: Why is Nemo needed? This code is easier to copy and paste: using Symbolics, Nemo @variables x y symbolic_solve(1/x^2 ~ 1/y^2 - 2/x^3 * (x-y), x) # symbolic_solve( (1/x^2 * x^3 ~ (1/y^2 - 2/x^3 * (x-y)) * x^3), x)

Nemo is needed to enable a package extension in Symbolics. The problem is that only polynomial equations can be solved, so you need to multiply out any denominators. Here’s a quick way to reproduce the problem. julia> using Symbolics, Nemo julia> @variables x; julia> symbolic_solve(x ~ 1/x, x) # …

[image] greatpet: The problem is that only polynomial equations can be solved, so you need to multiply out any denominators. So should the issue be fixed in Symbolics or in Nemo?

There isn’t a reason this cannot be handled via some normalization pass that occurs before the solve and then fixes the solution after the solve. Definitely worth an issue

Issue submitted: Solving rational function equations by converting to polynomial equations opened 02:42PM - 12 Sep 24 UTC (UTC) [zengmao] zengmao `symb…

Solve equation in Symbolics.jl

General Usage

greatpet September 12, 2024, 9:51am 5

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.

Topic		Replies	Views
Using Symbolics & Nemo; Unexpected roots of simple 2nd degree polynomial equation New to Julia question	2	154	March 23, 2025
New symbolic solver for Symbolics.jl! Package Announcements announcement , symbolics	27	2617	December 5, 2024
Exact solution of linear system with Symbolics General Usage symbolics	2	476	February 3, 2022
Learn to use Symbolics.jl General Usage question , symbolics	1	204	November 3, 2024
How to use `solve_for()` from `Symbolics.jl`? New to Julia symbolic , symbolics	0	549	September 20, 2021

Solve equation in Symbolics.jl

Related topics