Hi Waldek, +Comparable(): Category == SetCategory with + --operations + smaller?: (%,%) -> Boolean + ++ smaller?(x, y) is a strict total ordering on the elements of the set.
Just out of curiosity... Is there any reason making Comparable inherit from SetCategory? I don't have a concrete problem yet, but I wonder why SetCategory is needed for what you have in mind. (1) -> )show SetCategory SetCategory is a category constructor Abbreviation for SetCategory is SETCAT This constructor is exposed in this frame. ------------------------------- Operations -------------------------------- ?=? : (%,%) -> Boolean coerce : % -> OutputForm hash : % -> SingleInteger latex : % -> String ?~=? : (%,%) -> Boolean Why must all these operations be available for the notion of "smaller?"? Ralf --~--~---------~--~----~------------~-------~--~----~ 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 fricas-devel@googlegroups.com To unsubscribe from this group, send email to fricas-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en -~----------~----~----~----~------~----~------~--~---
