"Bill Page" <[EMAIL PROTECTED]> writes:
> >> I disagree. I think defining commutative this way makes very good
> >> sense:
> >>
> >> Commutative(op:Symbol):Category == with op:(%,%)->%
I do not understand: I would think that, given
Foo(op:Symbol):Category == with op:(%,%)->%
Foo('+)
*should* still export a single operation named "op".
Anything else is in my opinion very confusing and ad hoc.
Martin
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
