> Let S be the polynomial ring of n- variables, J be a homogenous ideal generated by homogenous elements f_1,..,f_m.
>Consider the quotient ring S/J of S modulo J. Can one find a basis of the graded piece of (S/J)_i of given degree i by exploiting commands of SINGULAR? If so, what are the appropriate SINGULAR commands?
There are two commands you can use: kbase and jet.
We recommend to use kbase with the second argument, for example
More information you can find in the documentation.