>
> Bill Page writes:
>
>> >> I disagree. I think defining commutative this way makes very
>> >> good sense:
>> >>
>> >> Commutative(op:Symbol):Category == with op:(%,%)->%
On Fri, Aug 29, 2008 at 2:00 AM, Martin Rubey wrote:
>
> 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.
>
Technically of course, a category does not "export" anything but a
domain that has this category would export some operation.
If I define:
Foo(op:Symbol,A:Type):Category == with op:(%,%)->A
What do expect a domain
Bar():Foo('+,Integer)
to export? What do you expect to occur on the left side of the : in a
declaration?
x:y
It seems to me that x must be a symbol. No?
In Axiom symbols are values of the domain Symbol.
Regards,
Bill Page.
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
