next up previous contents
Next: stdpart standard basis result Up: Treating variables as constants Previous: inpart standard basis result

std-minimal tex2html_wrap_inline5387 standard basis tex2html_wrap_inline5389 tex2html_wrap_inline5387 result matrix tex2html_wrap_inline5389 [variable list]

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 tex2html_wrap_inline7335 is a minimal generator of tex2html_wrap_inline7325 , then place the tex2html_wrap_inline5501 standard basis element tex2html_wrap_inline7311 into the result matrix. Note that several standard basis elements placed into the result matrix may correspond to the same minimal monomial tex2html_wrap_inline7343 .

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.



Sorin Popescu
Fri Feb 14 17:37:19 EST 1997