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 <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/9ad9bb7e-a816-4f28-ac7e-0d4ebd65c756%40googlegroups.com.
