Waldek Hebisch <[EMAIL PROTECTED]> writes:
> 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
Waldek, I do not understand why
)abbrev category COMMUTE Commutative
Commutative(op: Symbol): Category == with
nil
wouldn't work?
> - 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'd be interested in what sort of errors would occur. Could you give an
example?
I vote for going ahead, but otherwise, why not open a new branch?
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
-~----------~----~----~----~------~----~------~--~---
