Previous Page Next Page Contents

Ax::closedUnitNormals -- the axiom of closed unit normals

Introduction

Ax::closedUnitNormals states that the unit normals of an integral domain are closed under multiplication.

Generating the axiom

Ax::closedUnitNormals()

Details

Changes




Do you have questions or comments?


Copyright © SciFace Software GmbH & Co. KG 2000