Re: [sage-devel] Resolution of singularities
Ups, I wrote it wrong. His name is Grayson Jorgenson, not Jayson. El viernes, 23 de agosto de 2019, 20:59:17 (UTC+2), mmarco escribió: > > 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/9ad9bb7e-a816-4f28-ac7e-0d4ebd65c756%40googlegroups.com.
Re: [sage-devel] Resolution of singularities
> > 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 infrastructure to wrap that in a more > user-friendly way (although the schemes code itself could use some work > too). > > I think this ticket https://trac.sagemath.org/ticket/28389 could be an initial step toward that direction. That is needed to develop sage schemes with Singular background. -- 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/f58dcacb-0561-469b-a0f4-b823a83e395e%40googlegroups.com.
Re: [sage-devel] Resolution of singularities
Jayson - I see your point regarding Sage schemes. The implementation in SINGULAR is what's known as embedded resolution, which returns a scheme (the ambient variety) and a subscheme (the resolved subvariety). I gather in SINGULAR as it stands the scheme must be presented explicitly as a bunch of rings and the subscheme as a bunch of ideals. I think SINGULAR was originally conceived with affine schemes in mind, which require just one ring, so the infrastructure was not really necessary. - Dan On Friday, August 23, 2019 at 2:59:17 PM UTC-4, mmarco wrote: > > 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/9524d34a-5454-42b4-baeb-dadd3a691fd3%40googlegroups.com.
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.
[sage-devel] Resolution of singularities
Hi all - 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? 2. Is there any existing resolution of singularities package? Anyone else working on similar projects? 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.
