Alexander Dreyer, dreyer@mathematik.uni-kl.de; adreyer@web.de
Overview:
Algorithms for primary decomposition for modules based on
the algorithms of Gianni, Trager and Zacharias and
Shimoyama and Yokoyama (generalization of the latter
suggested by Hans-Gert Graebe, Leipzig )
using elements of primdec.lib
Remark:
These procedures are implemented to be used in characteristic 0.
They also work in positive characteristic >> 0.
In small characteristic and for algebraic extensions, the
procedures via Gianni, Trager, Zacharias may not terminate.