Hello Waldek,
Do you have some opinion about the removal of SubsetCategory?
Do you see a good point for its proper use? I am still trying to
understand its semantics.
The code in
Localize(M:Module R,
R:CommutativeRing,
S:SubsetCategory(Monoid, R)): Module R with
is strange anyway. I didn't know that SPAD allows to use a parameter (R)
in the type of the first argument when R is only declared later. I'd
guess something like this would be forbidden in Aldor. (One would have
to exchange first and second parameter.)
Anyway, if you like to remove SubsetCategory, I am willing to
investigate its implications on the remaining Algebra code.
Ralf
PS: It should be clear that I am in favour of removal. I cannot see a
true advantage of SubsetCategory except lots of exceptions in the code
(also in the aldor-interface).
--~--~---------~--~----~------------~-------~--~----~
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
-~----------~----~----~----~------~----~------~--~---
