Sorry to ask such simple questions, but I am not able to find
appropriate reference in the manual.
I have a power series ring (or polynomial ring) in multi-variables,
say R = k[X_1,\cdots, X_n] or k[[X_1,\cdots, X_n]]. I need to define
a module over R, generated by f_1,f_2,\cdots,f_r.
e.g. in Singular one can define it using
module M = f_1,\cdots,f_r. (Of course not verbatim)
Second question: Is the computation of first syzygy module implemented
for Power Series rings? The manual gives an example for Polynomial
Rings (and mentions it only on the page "Ideals in multivariate
Thanks in advance.
To post to this group, send email to sage-s...@googlegroups.com
To unsubscribe from this group, send email to
For more options, visit this group at