Changes http://wiki.axiom-developer.org/348EqualityInAny/diff
--
Maybe the following definition works, at least, it seems to. Note that we
should ask for 'BasicType', because otherwise equality is not even defined.
\begin{verbatim}
x = y ==
if (x.dm = y.dm) then
D := (x.dm pretend BasicType)
X:D := (obj x) pretend D
Y:D := (obj y) pretend D
(X=Y)$D
else false
\end{verbatim}
I'm not sure how the correspondence 'SEX' and Type ought to work...
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
