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).

I didn't look deeply into bertini nor PHCPack, but at a quick glance they 
don't seem to fit well our needs. Am i correct? Is there some software that 
already does what we want?

P.S. Of course, our plan is to relese the library under a free license, and 
build a sage package to compute braid monodromy of curves on top of it.

El lunes, 17 de marzo de 2014 10:05:26 UTC+1, Nathann Cohen escribió:
>
> Going through the web I just discovered a new software called Bertini 
>> [1]. One of its capability is to get arbitrary precision numerical 
>> solutions of a set of polynomial equations. I do not think that Sage 
>> is already able to do that, right ? Does any developer of Bertini on 
>> that list ? Does anybody knows the software or one of their developers 
>> ? 
>>
>> If not, I volunteer to contact them and start a Python interface with 
>> the program that might be used by Sage later on. 
>>
>
> THaaaaaaaat would be totally cool O_O
>
> (though it's worth asking them if they would be okay with a license change 
> indeed)
>
> Nathann 
>

-- 
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.

Reply via email to