On Sunday, March 22, 2015 at 4:46:40 PM UTC+5:30, Kalevi Suominen wrote: > > > > On Sunday, March 22, 2015 at 11:33:43 AM UTC+2, Luv Agarwal wrote: > >> Thanks, I looked at them. >> How can I implement dup_isolate_real_roots_sqf for algebraic domains? >> > > It seems that the algorithm in rootisolation should work for real > algebraic numbers as well. > The critical points are the inequalities and log() in > dup_root_upper_bound and is_negative() in > dup_sign_variations. > Making them work for algebraic numbers is non-trivial. Otherwise the code > for root isolation > could be used as such except for relaxing the checks for QQ or ZZ. > Thanks a lot Kalevi. I have taken a look at all these and understand the requirements for root isolation in Algebraic domain.
I have updated my proposal <https://github.com/sympy/sympy/wiki/GSoC-2015-Application-Luv-Agarwal:-Cylindrical-Algebraic-Decomposition> . Please have a look especially at the Timeline part. Is there anything that I should add or remove?. Thanks Luv Agarwal -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sympy. To view this discussion on the web visit https://groups.google.com/d/msgid/sympy/d0d2f31f-7fa4-48ad-b236-a5ada3ba478e%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
