Changes http://wiki.axiom-developer.org/226EqualityInFunctionCalled/diff -- The equality test seems to have a bug. \begin{axiom} p:Integer->Integer p(x)==x p t:Boolean:(p=p) \end{axiom}
-- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED] _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
