# Symbolics 'solve' command undefined

**URL:** <https://discourse.julialang.org/t/symbolics-solve-command-undefined/118766>\
**Category:** General Usage\
**Tags:** symbolics\
**Created:** [August 29, 2024, 11:56am UTC](https://discourse.julialang.org/t/symbolics-solve-command-undefined/118766 "2024-08-29T11:56:28Z")\
**Posts on this page:** 1\
**Showing post:** 9

<div class="post-metadata">

**Author:** ![abraemer](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/abraemer/32/51403_2.png) [@abraemer](https://discourse.julialang.org/u/abraemer)\
**Post date:** [August 30, 2024, 5:25am UTC](https://discourse.julialang.org/t/symbolics-solve-command-undefined/118766/9 "2024-08-30T05:25:09Z")

</div>

So for me it also doesn’t work:

```julia-repl
julia> Pkg.activate(;temp=true); Pkg.add("Symbolics"); using Symbolics
# ...
    Updating `/tmp/jl_PdF79T/Project.toml`
  [0c5d862f] + Symbolics v6.4.0
# ...
julia> @variables x
1-element Vector{Num}:
 x

julia> solve(x^2-9,x)
ERROR: UndefVarError: `solve` not defined
Stacktrace:
 [1] top-level scope
   @ REPL[4]:1

julia> Symbolics.sol<Tab>
solve_for
solve_multipoly
solve_multivar
solve_univar

julia> versioninfo()
Julia Version 1.10.4
Commit 48d4fd48430 (2024-06-04 10:41 UTC)
Build Info:
  Official https://julialang.org/ release
Platform Info:
  OS: Linux (x86_64-linux-gnu)
  CPU: 16 × AMD Ryzen 7 4800H with Radeon Graphics
  WORD_SIZE: 64
  LIBM: libopenlibm
  LLVM: libLLVM-15.0.7 (ORCJIT, znver2)
Threads: 1 default, 0 interactive, 1 GC (on 16 virtual cores) 

```

Should `solve` exist? I don’t see it in the docs at first glance. `symbolic_solve` which I see in the docs does exist:

```julia-repl
julia> symbolic_solve(x^2-9,x)
ERROR: "Nemo is required. Execute `using Nemo` to enable this functionality."
Stacktrace:
 [1] factor_use_nemo(poly::Num)
   @ Symbolics ~/.julia/packages/Symbolics/e7UFe/src/solver/nemo_stuff.jl:14
 [2] solve_univar(expression::Num, x::Num; dropmultiplicity::Bool)
   @ Symbolics ~/.julia/packages/Symbolics/e7UFe/src/solver/main.jl:260
 [3] symbolic_solve(expr::Num, x::Num; dropmultiplicity::Bool, warns::Bool)
   @ Symbolics ~/.julia/packages/Symbolics/e7UFe/src/solver/main.jl:156
 [4] symbolic_solve(expr::Num, x::Num)
   @ Symbolics ~/.julia/packages/Symbolics/e7UFe/src/solver/main.jl:113
 [5] top-level scope
   @ REPL[6]:1

```

The only exported function starting with `solv` is `solve_for` which is deprecated:

```julia-repl
julia> solve_for(x^2-9,x)
┌ Warning: solve_for is deprecated, please use symbolic_linear_solve instead.
│ caller = top-level scope at REPL[7]:1
└ @ Core REPL[7]:1
ERROR: AssertionError: islinear
...

```

There are some more functions starting with `symbolic`:

```julia-repl
julia> symbolic
symbolic_linear_solve
symbolic_solve
symbolics_to_sympy

```

And with Nemo.jl, `symbolic_solve` solves the equation:

```julia-repl
julia> using Nemo;
julia> symbolic_solve(x^2-9,x)
2-element Vector{BigInt}:
  3
 -3

```

---

_[View the full topic](https://discourse.julialang.org/t/symbolics-solve-command-undefined/118766)._