Previous Page Next Page Contents

Cat::FactorialDomain -- the category of factorial domains

Introduction

Cat::FactorialDomain represents the category of factorial domains (i.e. unique factorisation domains).

Generating the category

Cat::FactorialDomain()

Categories

Cat::GcdDomain

Details

Method factor: unique factorization

Method irreducible: tests if element is irreducible

Method sqrfree: square-free factorization

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000