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.