Yes, this is the case. The documentation for this method could perhaps be improved, but the key word is "isolating", meaning each interval contains exactly one root. You can also read more about the algorithm that is referenced in the docstring https://en.wikipedia.org/wiki/Vincent%27s_theorem
Aaron Meurer On Tue, May 21, 2024 at 9:18 AM Chris Smith <smi...@gmail.com> wrote: > > I strongly suspect that the roots returned by `Poly.intervals` have only one > root in them (by definition). If you use `refine_root(lo,hi,eps)` to refine > the root bounds to arbitrary width and give it an interval in which there is > more than one root, it will raise an error. > > /c > On Tuesday, May 21, 2024 at 6:06:14 AM UTC-5 ani...@gmail.com wrote: >> >> Is it possible to use SymPy library to get intervals (with rational >> endpoints) such that there is exactly one root in the interval? I would like >> to use an implementation of RRI algorithm for my purpose. I believe that the >> interval function does this. Is this correct? Is it guaranteed that the >> output intervals are guaranteed to not have any common points? >> >> > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sympy+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sympy/807f8910-040d-475b-91b6-a5002cedeea0n%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/CAKgW%3D6Ku7CAXsreQ%2B2qkG3inxU7YuYMcK7-ndMgt%2Bc14wPrQVA%40mail.gmail.com.
