Definition 3.1 in [BW-1] defines the h-Triangle, a generalisation of the h-Vector.
If $S$ is pure, then the last row is the traditional h-Vector and the remainder is zeros.
i1 : R = QQ[a..e]; |
i2 : hTriangle simplicialComplex {a*b*c, c*d*e, a*d, a*e, b*d, b*e}
o2 = Tally{(2, 2) => 4 }
(3, 0) => 1
(3, 1) => 2
(3, 2) => -1
o2 : Tally
|
i3 : hTriangle simplicialComplex {a*b*c*d*e}
o3 = Tally{(5, 0) => 1}
o3 : Tally
|
The object hTriangle is a method function.