Thanks - this might be relevant for another project of another student, 
coding this

https://arxiv.org/abs/1905.00872

One thing which may be missing in any of the existing systems is a 
Deligne-Mumford stack class extending "scheme".

- Dan

On Friday, August 23, 2019 at 6:05:28 AM UTC-4, Volker Braun wrote:
>
> The toric version is also natively in Sage, e.g. 
> http://doc.sagemath.org/html/en/reference/schemes/sage/schemes/toric/morphism.html
>
>
> On Friday, August 23, 2019 at 9:11:05 AM UTC+2, Dima Pasechnik wrote:
>>
>> On Fri, Aug 23, 2019 at 3:55 AM Dan Abramovich <dan_abr...@brown.edu> 
>> wrote: 
>> > a student of mine, Jonghyun Lee, will be coding the resolution of 
>> singularities algorithm of the 
>> > 
>> > paper 
>> > 
>> > 
>> > https://arxiv.org/abs/1906.07106 
>> > 
>> > 
>> > as part of his senior thesis. He is working in sage (that's what he 
>> chose!). 
>> > 
>> > 
>> > two questions: 
>> > 
>> > 
>> > 1. Are there packages in sage parallel to those available in Singular 
>> or Macaulay? 
>>
>> Singular has an efficient interface to Sage, so normally one would 
>> create a Sage interface to a Singular 
>> package rather than an independent implementation. 
>>
>> The interface to Macaulay2 is on the other hand pretty basic and slow, 
>> so it might be 
>> different for Macaulay2. 
>>
>> What kind of functionality of Sage is needed for the project which is 
>> not in Singular? 
>>
>> A more efficient way might be to implement the algorithm in Singular 
>> (or Macaulay2) and then 
>> expose in in Sage, rather than spend time fighting the interfaces. 
>>
>>
>> > 
>> > 
>> > 2. Is there any existing resolution of singularities package? Anyone 
>> else working on similar projects? 
>>
>> I know about 
>>
>> 1) resolution of some kind of toric singularites package in Macaulay2 
>>
>> 2) resolution of surface singularites in Singular 
>> https://www.singular.uni-kl.de/Manual/latest/sing_934.htm#SEC986 
>>
>> HTH 
>> Dima 
>> > 
>> > Best, 
>> > 
>> > 
>> > - Dan Abramovich 
>> > 
>> > 
>> > -- 
>> > 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 sage-...@googlegroups.com. 
>> > To view this discussion on the web visit 
>> https://groups.google.com/d/msgid/sage-devel/7aa65e37-f8ae-41ac-9afd-2ee6c8c92a92%40googlegroups.com.
>>  
>>
>>
>

-- 
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 sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/47db8f26-610d-4565-b9f5-416966439882%40googlegroups.com.

Reply via email to