math.columbia.edu:pub/bayer/Macaulay