[NumericPrelude] Progress toward UFD implementation

Henning Thielemann lemming at henning-thielemann.de
Wed Jun 30 11:46:40 EDT 2010

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?

More information about the Numeric-Prelude mailing list