Ax::canonicalUnitNormal
-- the axiom
of canonically unit normalsAx::canonicalUnitNormal
states that the method
"unitNormal"
of an integral domain (category Cat::IntegralDomain
)
returns a unique unit normal.
Ax::canonicalUnitNormal()
Ax::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.