This paper shows how a cfass of
congruence formulas can be generated by generalizing the process of counting
irreducibles in polynomial rings. Among the specific applications of the methods in
this paper are a solution to the necklace problem, as well as an enumeration of the
solutions to certain Diophantine equations.