>From time to time there is a need to use domain forgeting
about some of its properties. For example, we may want
to treat Integer as an AbelianGroup and forget about Ring
structure. Or treat it as a Ring, but forget about
it beeing an IntegralDomain. For this purpose I used
code like:
AsRing(R : Ring) : Ring == R
I wonder if we should include such functors at least
for popular categories.
Pro: the code is simple and may be useful.
Cons: User can easily write it as needed.
Opinions?
--
Waldek Hebisch
[email protected]
--
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.
