Usage:
<annihilator2 X ann_X
computes the annihilator of X by finding the annihilator of
a "general" element, by the rational normal curve method.
Parameters:
X = a module
Output values:
ann_X = its annihilator, as an ideal with standard
basis.
This script is sometimes dramatically faster than the obvious method
using quotient, (done in annihilator1) sometimes slower.
Caveats: The script does not necessarily produce a minimal
generating set for the annihilator.