# SymPy.jl: how to get non-zero assumptions?
**URL:** https://discourse.julialang.org/t/sympy-jl-how-to-get-non-zero-assumptions/44313
**Category:** New to Julia
**Created:** [August 5, 2020, 9:15am UTC](https://discourse.julialang.org/t/sympy-jl-how-to-get-non-zero-assumptions/44313 "2020-08-05T09:15:19Z")
**Posts on this page:** 6
**Page:** 1
### Author:  [@tomtom](https://discourse.julialang.org/u/tomtom)
#### Post date: [August 5, 2020, 9:15am UTC](https://discourse.julialang.org/t/sympy-jl-how-to-get-non-zero-assumptions/44313/1 "2020-08-05T09:15:19Z")
in the following, `c` **should be assumed non-zero** for the solution `x = 1 /c `:
```julia
import SymPy
const sympy = SymPy.sympy
julia> eqn = sympy.sympify("x * c - 1")
c⋅x - 1
julia> sol = sympy.solve(eqn, SymPy.Sym("x"))
1-element Array{SymPy.Sym,1}:
1/c
```
the problem is, how could I **automatically get this assumption** upon calling `sympy.solve()`?
thanks.
---
### Author:  [@mzaffalon](https://discourse.julialang.org/u/mzaffalon)
#### Post date: [August 5, 2020, 9:37am UTC](https://discourse.julialang.org/t/sympy-jl-how-to-get-non-zero-assumptions/44313/2 "2020-08-05T09:37:15Z")
I don’t think even `sympy.py` does that:
```julia
>>> solve(c * x - 1, x)
[1/c]
```
---
### Author:  [@tomtom](https://discourse.julialang.org/u/tomtom)
#### Post date: [August 5, 2020, 9:56am UTC](https://discourse.julialang.org/t/sympy-jl-how-to-get-non-zero-assumptions/44313/3 "2020-08-05T09:56:25Z")
u mean, `SymPy` could **not** tell me the assumptions needed?
---
### Author:  [@mzaffalon](https://discourse.julialang.org/u/mzaffalon)
#### Post date: [August 5, 2020, 10:18am UTC](https://discourse.julialang.org/t/sympy-jl-how-to-get-non-zero-assumptions/44313/4 "2020-08-05T10:18:22Z")
So it looks. You may want to ask the python sympy community if there is a solution for your problem.
---
### Author:  [@tomtom](https://discourse.julialang.org/u/tomtom)
#### Post date: [August 5, 2020, 11:45am UTC](https://discourse.julialang.org/t/sympy-jl-how-to-get-non-zero-assumptions/44313/5 "2020-08-05T11:45:41Z")
thanks.
then a dumb question: which/where is the most active Python SymPy discussion group?
---
### Author:  [@mzaffalon](https://discourse.julialang.org/u/mzaffalon)
#### Post date: [August 5, 2020, 11:49am UTC](https://discourse.julialang.org/t/sympy-jl-how-to-get-non-zero-assumptions/44313/6 "2020-08-05T11:49:13Z")
You can find the pointers for the mailing list and repository [here](https://www.sympy.org/en/development.html).