Find the subset of the given standard basis whose lead monomials in a subset
of the variables are minimal generators. In terms of the notation above,
if
is a minimal generator of
, then
place the
standard basis element
into the result matrix.
Note that several standard basis elements placed into the result matrix may
correspond to the same minimal monomial
.
For example,
% keep js js1 ; warning: no standard basis. Using initial terms of matrix % type js1 ; d2-3 c2+1 % std-minimal js1 jmin ; warning: no standard basis. Using initial terms of matrix % type jmin ; d2-3 c2+1
Possible applications include finding the ramification locus of a projection, and finding loci where a projection is not flat.