Macaulay computer algebra system