If I understand correctly, Macaulay2 does this in the SubalgebraBases package: https://arxiv.org/abs/2302.12473 might provide inspiration?
On Tuesday, July 4, 2023 at 6:39:53 AM UTC-5 Dima Pasechnik wrote: > > > On Tue, 4 Jul 2023, 12:26 Kwankyu Lee, <ekwa...@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+...@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/e5eef2f3-e4be-465b-848a-8dbf8befe81fn%40googlegroups.com.