Previous Page Next Page Contents

Cat::QuotientField -- the category of quotient fields

Introduction

Cat::QuotientField(R) represents the category of quotient fields over R.

Generating the category

Cat::QuotientField(R)

Parameters

R - A domain which must be from the category Cat::IntegralDomain.

Categories

Cat::Field

, Cat::Algebra(R),

if R has Cat::OrderedSet then
Cat::OrderedSet

Details

Entries

characteristic

The characteristic of this domain, which is is the same as that of R.

Method denom: return denominator

Method numer: return numerator

Method equal: test for equality

Method iszero: test for zero

Method _less: test if element is less

Method retract: returns retracted element

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000