Closed zdlspace0528 closed 1 year ago
Yeah, you are doing everything correctly, but sometimes SymPy doesn't get a conclusion in a reasonable amount of time. I think on Discourse you have had some very useful guidance. One thing I'd try would be pursuing if narrowing the domain of the variables is helpful (e.g., @syms x::real y::real ...
). But in my experience, solving with a large number of symbolic variables isn't always as successful as it could be.
It runs long long time, but no results.