"Set Slave" is a Common Lisp pakage called that can return normal and prime forms, as well as many other set manipulations.. i dont have the email for you here at home, ill try to post it tomorrow.