56 reputation
3
bio website
location
age
visits member for 2 years
seen Feb 15 '13 at 12:48

Feb
13
comment Is there a way to teach integrate new solutions?
OK. It seems like adapting the answer that was given in @b.gatessucks' link does the trick given that one includes all possible deviations from the pattern using _. pattern objects. Thanks a lot!
Feb
13
awarded  Supporter
Feb
13
comment Is there a way to teach integrate new solutions?
@b.gatessucks This is nice for the direct function, but like replacements it fails once the pattern is not met exactly, e.g. it is multiplied by a constant, or a function (that Integrate knows how to do) is added.
Feb
13
comment Is there a way to teach integrate new solutions?
I was (and am) looking, but didn't find anything. Any hint on a keyword?
Feb
13
asked Is there a way to teach integrate new solutions?
Dec
13
comment Cyclic Noncommutative Multiplication
Good point, @whuber . I was thinking something along the lines of letting it check if what is left and right is a one (then it can cycle) or something else (then it can't). On the other hand, I don't really need it to be encoded in the multiplication itself. I'd be perfectly happy with a newly defined trace that I can apply on my expressions and that knows that cyclic permutations are identical.
Dec
13
awarded  Student
Dec
13
awarded  Editor
Dec
13
revised Cyclic Noncommutative Multiplication
added 2 characters in body
Dec
13
asked Cyclic Noncommutative Multiplication