> Bill Page wrote:
>> 'SetCategory' could just as easily exported
>> 'coerce:%->OutputForm' directly.
>
On Thu, Dec 4, 2008 at 3:42 AM, Ralf Hemmecke wrote:
> BTW, it does already.
>
> SetCategory(): Category == Join(BasicType,CoercibleTo OutputForm) with
> ...
What I meant was that 'SetCategory' could simply have been written:
SetCategory(): Category == BasicType with
coerce: % -> OutputForm
The category 'CoercibleTo(OutputForm)' plays no essential role here. Then just
T has SetCategory
would be sufficient to know that one should expect to be able to
display values of this domain.
But depending on how we decide "coercion" should be defined, I am not
sure that the name 'coerce' is the best name for the operation that
produces the OutputForm for the domain.
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
-~----------~----~----~----~------~----~------~--~---
