A procedure that given an invertible ideal I put in the attribute Generators of I two non-zerodivisors in I that generate I. If I is known to be principal nothing is done.