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:
>
>
>
>
> 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
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
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
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.
-
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
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
