>> I see that extend is nice, but actually, within FriCAS I don't see whether
>> it's such a big issue? Maybe for the coercion definitions, but actually,
>> that's one place where I think that Aldor is missing functionality, i.e.,
>> allow something like
>>
>> forall A if A has MyCat then CoercibleTo A
>>
>> or perhaps
>>
>> CoercibleTo A where A has MyCat.
> I presume that you mean that one might write this in the context of
> some domain, say B.
>
> Isn't this essentially what one might do in defining a package? E.g.
>
> MyCoercePac(A:MyCat,X:CatOf(B)): CoercibleTo(A)
> == add
> coerce(x:X):A == ...
You probably meant CatOf(A)...
But why so complicated? Shouldn't
MyCoercePac(A:MyCat,X:MyCat): CoercibleTo(A)
== add
coerce(x:X):A == ...
do the thing? Where exactly would you need CatOf(A)?
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 [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
-~----------~----~----~----~------~----~------~--~---
