in the following,
c should be assumed non-zero for the solution
x = 1 /c :
const sympy = SymPy.sympy
julia> eqn = sympy.sympify("x * c - 1")
c⋅x - 1
julia> sol = sympy.solve(eqn, SymPy.Sym("x"))
the problem is, how could I automatically get this assumption upon calling
I don’t think even
sympy.py does that:
>>> solve(c * x - 1, x)
SymPy could not tell me the assumptions needed?
So it looks. You may want to ask the python sympy community if there is a solution for your problem.
then a dumb question: which/where is the most active Python SymPy discussion group?
You can find the pointers for the mailing list and repository here.