Complexity of standard bases in projective dimension zero
暂无分享,去创建一个
This paper is the continuation of a previous one devoted to the complexity of standard bases in projective dimension zero (see Giusti, 1989). We improve the upper bound on the maximal degree of elements in a standard basis, with respect to any choice of coordinates and any compatible ordering, given in loc.cit. This bound is sharp, being attained for complete intersections and lexicographic ordering.
[1] Daniel Lazard,et al. Resolution des Systemes d'Equations Algebriques , 1981, Theor. Comput. Sci..
[2] Marc Giusti,et al. Combinatorial Dimension Theory of Algebraic Varieties , 1988, J. Symb. Comput..