Usage:
<l_minimal I J
Find a minimal generating set J for the submodule I over localization R
at the homogeneous maximal ideal of the base ring of I.
Parameters:
I = mxn matrix, whose columns are not necessarily homogeneous.
Output values:
J = mxr matrix, whose columns minimally generate the submodule I over R.
This script uses l_minimal0 to do most of the work.
Caveats: (1)The resulting minimal generators may not be the simnplest
possible. For example, if I = (x2+x3), then over R, I = (x2). This
script will not find such a representation. Nevertheless, this is an
extremely useful script.
(2) The base ring of I must not include the variable "t[-100]".