on the specialization of families

Is there some specific command for the following:

given a family of germs $X_t$ for t small but not 0,
i.e. an ideal I in C{x_1..x_n,t,t^{-1}}.
find the ideal of $X_0$.

of course this can be done "manually" by first calculating the syzygies for the generic fibre, then taking t->0. Probably there exists some simple ready command?


If one such a command doesn't exist, where can I find an example of such procedure (with explicit syntax).


thanks

There is, at the moment, no simple command for what you are looking for.
Help for writing your own procedures, with many examples, can be found either in

the Singular Manual:
A. Examples, A.1 Programming, A.1.2 Writing procedures and libraries

or in the book
G.-M. Greuel, G. Pfister: A SINGULAR Introduction to Commutative Algebra. Springer Verlag