steps of computing a standard basis

Hello,

is there a command to see all the steps of computing a standard basis?

thank you

page 57 of A Singular Introduction to Commutative Algebra mentions the algorithm of standard basis

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)

Use Procedure standard from library teachstd.lib. With a sufficiently high printlevel you can see all intermediate results.

thank you, I'll try it.

It seems it just works with a global ordering, I use a weihted local ordering.

I believe it is possible only with the debug version of Singular. (at least it used to be the case with 2-x-x versions, I am not aware of any improvements in 3-x-x).

-- VInay