[NumericPrelude] Progress toward UFD implementation
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