This question is relevant to a project I'm working on. I've been putting together an abstract algebra library for handling computations inside group rings, polynomial rings, and rings with adjoined elements. Once I've got it cleaned up a little I'll upload it to an appropriate place. (I forgot to cc haskell-cafe- sorry DavidA!) Nathan Bloomfield