Hi: I am getting this error: ::> 927: Too many functor patterns The article proves the Hilbert basis theorem, for univariate and multivariate case and is not all that long (3000 lines) but uses stuff from all over MML. Can this parameter be increased in the next release? Best, Piotr Rudnicki