next up previous
: hilbReduce : Macro Operators : groebner_sugar

hilb

base vlist hilb f
array of poly base; array of poly vlist;  poly f;
array of string base; array of string vlist; poly f;
array of string base; string vlist; number m; poly f;
f is the hilbert function (a_d x^d + ...)/m!
The << base >> should be a reduced Grobner basis.
Or, when the << base >> is an array of string,
all entries should be monomials.
Example: [(x^2) (x y )] (x,y)  hilb ::   h + 2 
Example: [(x^2) (y^2)] (x,y) hilb  4
Example: [(x^2) (y^2) (x y)] [(x) (y)] hilb ::  3
cf. hilbert,    hilbReduce



Nobuki Takayama 平成20年1月30日