Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Solving equation fails #1268

Open
jariji opened this issue Sep 12, 2024 · 2 comments
Open

Solving equation fails #1268

jariji opened this issue Sep 12, 2024 · 2 comments

Comments

@jariji
Copy link

jariji commented Sep 12, 2024

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, what's the problem here?

  [2edaba10] Nemo v0.46.2
  [0c5d862f] Symbolics v6.11.0

using Symbolics, Nemo
@variables x y
julia> symbolic_solve(1/x^2 ~ 1/y^2 - 2/x^3 * (x-y), x)
┌ Warning: This expression cannot be solved with the methods available to ia_solve. Try a numerical method instead.
└ @ Symbolics ~/.julia/packages/Symbolics/6WqId/src/solver/ia_main.jl:176

julia> symbolic_solve( (1/x^2 * x^3 ~ (1/y^2 - 2/x^3 * (x-y)) * x^3), x)
[ Info: Assuming (y^2) != 0
[ Info: Assuming (y^2) != 0
2-element Vector{SymbolicUtils.BasicSymbolic{Real}}:
 y
 -2y
@ufechner7
Copy link

ufechner7 commented Sep 12, 2024

Easier to reproduce:

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)

using

(sym) pkg> st
Status `~/repos/sym/Project.toml`
  [2edaba10] Nemo v0.46.2
  [0c5d862f] Symbolics v6.11.0

@jariji Can you change the title to "Solving equation fails" ?

@jariji jariji changed the title Solve equation in Symbolics.jl Solving equation fails Sep 12, 2024
@ChrisRackauckas
Copy link
Member

@n0rbed take a look?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants