On Monday, March 17, 2014 6:05:58 AM UTC-4, mmarco wrote: > > I am working, together with a colleague, on a library to compute provable > homotopy continuation, using interval arithmetic. We need to write > something new because (AFAIK): > a) the available software does not provide provable results i.e. in some > critical cases they are not granted to give correct results. > b) we need not only the solutions after the homotopy process, but the > whole path run by them (we want to compute braid monodromy). >
Sounds great! Whats your current status on that? I completely agree with the sentiment that homotopy continuation is a good tool but to really get the most out of it you need to be able to control the inner workings. So just an external program to call isn't good enough. -- You received this message because you are subscribed to the Google Groups "sage-devel" 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/sage-devel. For more options, visit https://groups.google.com/d/optout.
