It's annoying that number field ideals have a gens_reduced() method, but ideals of ZZ do not. This patch fixes this by adding a gens_reduced() method to the base ideal class, whose default implementation just calls gens().

Component: algebraic geometry

Issue created by migration from https://trac.sagemath.org/ticket/810