Minimal Generators

TwoGeneratingSet(I): AlgEtQIdl

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.