## `Cat::PrincipalIdealDomain` -- the category of principal ideal domains

#### Introduction

`Cat::PrincipalIdealDomain` represents the category of principal ideal domains.

#### Generating the category

`Cat::PrincipalIdealDomain()`

#### Categories

`Cat::GcdDomain`

#### Details

- A `Cat::PrincipalIdealDomain` is an integral domain with gcd where each ideal is principal. Note that the method `"idealGenerator"` has to find generators for finitely generated ideals only.

#### Method idealGenerator: return generator of ideal

- `idealGenerator(dom x...)`
- - Must return the generator of the ideal generated by its arguments.

#### Changes

- no changes

Do you have questions or comments?
Copyright © SciFace Software GmbH & Co. KG 2000