checking whether ideals are geometrically vertex decomposable