From 1ebb2c94d12024ccd775e88936633905a827c1de Mon Sep 17 00:00:00 2001 From: n0rbed Date: Fri, 30 Aug 2024 21:54:49 +0300 Subject: [PATCH] small --- docs/src/manual/solver.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/docs/src/manual/solver.md b/docs/src/manual/solver.md index 7b4a33013..3380d6632 100644 --- 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)