finding irreducible polynomials in ring with composite characteristics
When I try to find irreducible polynomials in for example Zmod(47)[x] with irreducible_element, but I cant do that in Zmod(15)[x] because it is not implemented in rings with composite characteristic. Is there some clever way to do this?