Alexander Dreyer, dreyer@mathematik.uni-kl.de; adreyer@web.de
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 cia Gianni Trage, Zacharias may not terminate.