Comment by measurablefunc

Nice job but I'd like to see it implemented w/ polynomial rings & quotients.