Singular
https://www.singular.uni-kl.de/forum/

on the specialization of families
https://www.singular.uni-kl.de/forum/viewtopic.php?f=10&t=1677
Page 1 of 1

Author:  Dmitry [ Thu Jul 10, 2008 7:35 am ]
Post subject:  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

Author:  greuel [ Sun Mar 29, 2009 6:49 pm ]
Post subject: 

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

Page 1 of 1 All times are UTC + 1 hour [ DST ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/