Ax::canonicalUnitNormal -- the axiom
of canonically unit normals
IntroductionAx::canonicalUnitNormal states that the method
"unitNormal" of an integral domain (category Cat::IntegralDomain)
returns a unique unit normal.
Generating
the axiomAx::canonicalUnitNormal()
DetailsAx::canonicalUnitNormal is used to state
that the unit normals of an integral domain (category Cat::IntegralDomain) returned by
the method "unitNormal" are unique.x of the
integral domain there exists an unique associate among the associate
class of x, i.e. for any x and y
of a domain dom of category Cat::IntegralDomain where
dom::associates(x, y) returns TRUE the equation
dom::equal(dom::unitNormal(x), dom::unitNormal(y)) = TRUE
must hold.x and
y must be mathematically equal in the sense of the method
"equal", they need not be structurally equal as
MuPAD objects.