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