up previous next
N1st Betti multidegrees of monomial ideals using MayerVietoris trees
MayerVietorisTreeN1(I:MONOMIAL IDEAL):INT

This function returns the list of multidegrees M such that the N1st
Betti number of a monomial ideal I at multidegree M is not zero.
It is computed via a version of its MayerVietoris tree.
The length of this list is the number of irreducible components of I,
the number of maximal standard monomials, and the number of generators
of its Alexander Dual.
Use Q[x,y,z];
I := Ideal(x, y, z)^2;
MayerVietorisTreeN1(I);

[x^2yz, xy^2z, xyz^2]

