master as of 2-Dec-2014
subrings and irreducible elements