Waldek Hebisch <[EMAIL PROTECTED]> writes: > Well, I expect Commutative(_*) to work, but if you use _* as the only > argument then such argument is redundant.
Quite right. > If you try to put different thing here, in particular use variables as > argument, then I am not sure if this will work and we have question of > sementics. Well, for me personally, the desired semantics are clear now :-), since Stephen Watt explained to me how "has" works in Aldor. Curiously, the current Aldor compiler is buggy with respect to "has F(a)", if a is not a domain, while axiom works fine... In short: what axiom currently does in this situation looks completely right to me. > There is also a little bootstrap problem: currently I put categories > replacing attributes at the beginning of bootstrap sequence, but once I have > Symbol argument I must make sure that Symbol works when we need to evaluate > Commutative. OK. > > > - 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? > > Interpreter could not find applicable 'map!' -- I showed in other mail > simplified form of modemap. OK. Which part of the interpreter is repsonsible for that? Well, never mind. > > I vote for going ahead, but otherwise, why not open a new branch? > I feel that branch just for attributes is an overkill. And actually I want > to get rid of attributes to simplify work on the compiler. I am not sure if > should put compiler work on a branch or commit ready parts to the trunk, but > I certainly want attribute patch together with compiler changes. Well, as long as there are no regressions, I think keeping all in trunk is OK. I guess, there are not so many people actually using FriCAS currently, so it's more important to move ahead quickly. 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 -~----------~----~----~----~------~----~------~--~---
