Previous Page Next Page Contents

Cat::IntegralDomain -- the category of integral domains

Introduction

Cat::IntegralDomain represents the category of integral domains.

Generating the category

Cat::IntegralDomain()

Categories

Cat::EntireRing

, Cat::CommutativeRing, Cat::Algebra(dom)

Details

Method _divide: returns quotient

Method isUnit: tests if element is a unit

Method unitNormal: returns an associate

Method associates: tests if elements are associates

Method divides: tests if elements divides another

Method unitNormalRep: returns the unit normal representation

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000