|  |  D.7.3.1 HilbertSeries Procedure from libraryrinvar.lib(see  rinvar_lib).
 
Usage:
HilbertSeries(I, w); ideal I, intvec wt
Purpose:
compute the polynomial p of the Hilbert Series, represented by p/q, of
the ring K[t_1,...,t_m,y_1,...,y_r]/I1 where 'w' are the weights of
the variables, computed, e.g., by 'HilbertWeights', 'I1' is of the
form I[1] - y_1,...,I[r] - y_r and is quasihomogenous w.r.t. 'w'
Return:
intvec
Note:
the leading 0 of the result does not belong to p, but is needed in
the Hilbert driven 'std'.
 
 |