I will answer all these suggestions as soon I find time. But be aware. Extra functions are not helpful, because one usually uses functions like key? from Table and so one would have to rewrite all other functions as well. So "call by value" for equality = in Any would be the desired solution.
Am Mittwoch, 10. Juni 2009 schrieb Martin Rubey: > 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 > > -- Mit freundlichen Grüßen Johannes Grabmeier Prof. Dr. Johannes Grabmeier Köckstr. 1, D-94469-Deggendorf Tel.-pv. +49-(0)-991-2979-584, Tel.-mob. 0171-550-3789 Tel.-d +49-(0)-991-3615-141, Sekr. -154 Fax-p: +49-(0)-1803-5518-17745 --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
