Previous Page Next Page Contents

Cat::EntireRing -- the category of entire rings

Introduction

Cat::EntireRing represents the category of entire rings.

Generating the category

Cat::EntireRing()

Categories

Cat::Ring

, Cat::RightModule(dom)

Axioms

Ax::noZeroDivisors

Details

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000