Ralf Hemmecke <[email protected]> writes:
> Sag mal, Martin, [...]
> Gehört Deine Mail wirklich zu diesem Thread?
YES! I didn't mention it, so I deserve punishment. Here goes:
>> )abbrev domain USE UseType
>> UseType: with
>> useRing: Ring -> Integer
>> == add
>> useRing R == 1
could be helpful in improving Any. I would prefer something like:
Any(): SetCategory with
any : (Domain, None) -> %
[...]
dom : % -> Domain
Or, even:
Object(C: Category): with
any : (C, None) -> %
[...]
dom : % -> C
Then Johannes could say
aa := "A"::Any
bb := "A"::Any
test(aa::dom(aa) = bb::dom(aa))
apart from that I think that Any should not export SetCategory.
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
-~----------~----~----~----~------~----~------~--~---
