Re: [sage-devel] Resolution of singularities
Jayson Jorgenson implemented resolution of singularities for plane curves as a GSoC project a few years ago: https://doc.sagemath.org/html/en/reference/curves/sage/schemes/curves/affine_curve.html But I guess you are talking about the general case. IIRC, singular returns the output of the resolution in a complicated way (defining several rings, and some ideals inside them). Maybe it would make sense to use the Sage schemes infraestructure to wrap that in a more user-friendly way (although the schemes code itself could use some work too). El viernes, 23 de agosto de 2019, 13:59:21 (UTC+2), Dan Abramovich escribió: > > Thanks, Dima! > > The SINGULAR package does the classical resolution algorithm well. > Jonghyun, the student, is reading the developer Anne Frühbis Krüger's > extensive texts about it. The new algorithm uses in part the same objects. > > So as you say, it might make sense to move over to SINGULAR. > > - Dan > > On Friday, August 23, 2019 at 3:11:05 AM UTC-4, Dima Pasechnik wrote: >> >> On Fri, Aug 23, 2019 at 3:55 AM Dan Abramovich >> 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/ca5ce120-dd65-4ab5-b7cc-5918901ba7bf%40googlegroups.com.
Re: [sage-devel] Resolution of singularities
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 >> 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.
Re: [sage-devel] Resolution of singularities
Thanks, Dima! The SINGULAR package does the classical resolution algorithm well. Jonghyun, the student, is reading the developer Anne Frühbis Krüger's extensive texts about it. The new algorithm uses in part the same objects. So as you say, it might make sense to move over to SINGULAR. - Dan On Friday, August 23, 2019 at 3:11:05 AM UTC-4, Dima Pasechnik wrote: > > On Fri, Aug 23, 2019 at 3:55 AM Dan Abramovich > 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/56e8fff8-002d-411a-867e-91e16b908cb8%40googlegroups.com.
Re: [sage-devel] Resolution of singularities
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 > 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/37163308-d1ab-48c2-aaa5-96b2ab7f0155%40googlegroups.com.
Re: [sage-devel] Resolution of singularities
On Fri, Aug 23, 2019 at 3:55 AM Dan Abramovich 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-devel+unsubscr...@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/CAAWYfq0-OFPADy9344JYA8hsCbRK9X4G3gVPJKfaKKx29HHOzQ%40mail.gmail.com.