Ralf Hemmecke wrote:
>
> > You return false if type has no equality -- this has good chance
> > being wrong.
>
> I don't think so. If Any is declared to be of type SetCategory, then =
> should never give an error.
I do not think so -- in general operations are partial functions.
Field exports / with signature '(%, %) -> %'. Do you expect
no error when computing 1/0?
> And if the specification of =$Any is such
> that it says:
> Comparing elements in Any that originate from a domain that does
> not have an equality yields false.
>
"Documenting bug turns it into a feature" -- I prefer to
not use this trick.
--
Waldek Hebisch
[email protected]
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en
-~----------~----~----~----~------~----~------~--~---
