D.7.1.7 hilbvec

Procedure from library presolve.lib (see presolve_lib).

Usage:

hilbvec(id[,c,o]); id=poly/ideal/vector/module/matrix, c,o=strings,
c=char, o=ordering used by hilb
(default: c="32003", o="dp")

Return:

intvec of 1-st Hilbert-series of id, computed in char c and ordering o

Note:

id must be homogeneous (i.e. all vars have weight 1)

Example:

LIB "presolve.lib";
ring s   = 0,(e,f,x,y,z,t,u,v,w,a,b,c,d,H),dp;
ideal id = w2+f2-1, x2+t2+a2-1,  y2+u2+b2-1, z2+v2+c2-1,
d2+e2-1, f4+2u, wa+tf, xy+tu+ab;
id = homog(id,H);
hilbvec(id);
→ 1,0,-7,0,20,0,-28,0,14,0,14,0,-28,0,20,0,-7,0,1,0