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.

-- 
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/77e2bf8c-dfb0-4cd3-a7fd-d553f263b927%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to