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 resol
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
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
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
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