Excuse me, maybe my question wasn't clear
I meant, is their a command in singular that permits to see these computations
before reducing and giving the final awser.
because I need to see from where come some generators.
for example genartor 7 of the standard basis comes from S(generator 4 of the given base, generator 3)
Guest wrote:
page 57 of A Singular Introduction to Commutative Algebra mentions the algorithm of standard basis