[NumericPrelude] Progress toward UFD implementation

[Henning Thielemann]

On Wed, 30 Jun 2010, Lewis-Sandy, Darrell wrote:

> On Jun3 29, lemming at henning-thielemann.de wrote:
>
>> Is the basis always a single element?
>
> The defining property of principal ideal domains is that for any ideal, 
> the basis consists of a single element.

Sure, I was confused. Is there a better name than "basis", e.g. 
"generating element" or so?