Previous Page Next Page Contents

Cat::Field -- the category of fields

Introduction

Cat::Field represents the category of fields.

Generating the category

Cat::Field()

Categories

Cat::EuclideanDomain

, Cat::FactorialDomain, Cat::SkewField

Axioms

Ax::canonicalUnitNormal

, Ax::closedUnitNormals

Details

Method associates: test for associate elements

Method _divide: exact division

Method divide: division with reminder

Method divides: test if division is exact

Method euclideanDegree: returns Euclidean degree

Method factor: unique factorization

Method gcd: greatest common divisor

Method irreducible: tests if element is irreducible

Method isUnit: tests if element is an unit

Method quo: returns Euclidean quotient

Method rem: returns Euclidean reminder

Method sqrfree: square-free factorization

Method unitNormal: unit normal form

Method unitNormalRep: unit normal representation

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000