Previous Page Next Page Contents

Ax::noZeroDivisors -- the axiom of rng's with no zero divisor

Introduction

Ax::noZeroDivisors states that a ring without a unit has no zero divisors.

Generating the axiom

Ax::noZeroDivisors()

Details

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000