small

JuliaSymbolics · Aug 30, 2024 · 1ebb2c9 · 1ebb2c9
1 parent 60de1a1
commit 1ebb2c9
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/docs/src/manual/solver.md b/docs/src/manual/solver.md
@@ -63,6 +63,14 @@ Symbolics.symbolic_solve(eqs, [x,y,z])
 - [ ] Systems of polynomial equations with parameters and positive dimensional systems
 - [ ] Inequalities
 
+### Expressions we can not solve (but aim to)
+```
+# Mathematica
+
+In[1]:= Reduce[x^2 - x - 6 > 0, x]
+Out[1]= x < -2 || x > 3
+```
+
 # References
 
 [^1]: [Rouillier, F. Solving Zero-Dimensional Systems Through the Rational Univariate Representation. AAECC 9, 433–461 (1999).](https://doi.org/10.1007/s002000050114)