I have now a patch which removes attributes and replaces them by
empty categories. Some remarks:
- commutative("*") is strange beast, to avoid problems with meaning
and type of the argument I replaced it by CommutativeStar category.
Once we have a solution to Monoid problem we can change this, by
currently having parameter to commutative looks like useless
complication
- when I just modified algebra there were some regressions --
for example interpreter thought that some functions defined in
HomeogeneousAggregate are defined in shallowlyMutable category.
To avoid them I had to hard-code knowledge about categories
which replaced attributes in the interpreter.
- I tried to add some error checking in the interpreter to
reject old style use of attributes, but I am not sure if
the checks are complete -- I had to keep part of attribute
machinery in the compiler because currently conditional
categories are treated as attributes by the parser and only
later recognized as categories.
Any comments -- I plan to commit this patch soon.
--
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
-~----------~----~----~----~------~----~------~--~---
