4 ms·
https://github.com/sympy/sympy/issues/9479 https://github.com/sympy/sympy/issues/9479 suggests that multivariate inequalities are still unsolved in SymPy, thoug
by westurner 3y ago
https://github.com/sympy/sympy/issues/9479 https://github.com/sympy/sympy/issues/9479 suggests that multivariate inequalities are still unsolved in SymPy, though it looks like https://github.com/sympy/sympy/pull/21687 https://github.com/sympy/sympy/pull/21687 was merged in August. This probably isn't yet implemented in C++ in SymForce yet?