Previous Page Next Page Contents

Ax::canonicalUnitNormal -- the axiom of canonically unit normals

Introduction

Ax::canonicalUnitNormal states that the method "unitNormal" of an integral domain (category Cat::IntegralDomain) returns a unique unit normal.

Generating the axiom

Ax::canonicalUnitNormal()

Details

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000