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/ca5ce120-dd65-4ab5-b7cc-5918901ba7bf%40googlegroups.com.
