On Tue, 4 Jul 2023, 12:26 Kwankyu Lee, <ekwan...@gmail.com> wrote: > Also, as far as I understand, Sage can compute the minimal free resolution > of > the module of syzygies of S, and from the resolution the presentation can > be > assembled. > > > Yes. It's here: > https://doc.sagemath.org/html/en/reference/resolutions/index.html > > So it seems that the only missing bit is computation of a presentation of > S. > > > Let phi: R[y_1,...,y_k] -> R[x_1,...,x_n] mapping by y_i -> f_i. Then, > perhaps, your I is the kernel of phi. >
Ah, right, thanks. I suppose resolutions are only needed for handling more delicate properties of S, e.g. Cohen-Macauleyness, systems of parameters, etc. > > -- > 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/6f50eeb6-9611-4a09-ad4d-8fff20875cb9n%40googlegroups.com > <https://groups.google.com/d/msgid/sage-devel/6f50eeb6-9611-4a09-ad4d-8fff20875cb9n%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- 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/CAAWYfq08rtxzBnXW%3Do4_nHOFzu_k_hDzJ%3DVQbGkRHsLjPNriRw%40mail.gmail.com.