Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Visit Stack Exchange
Stack Internal
Knowledge at work
Bring the best of human thought and AI automation together at your work.
Explore Stack InternalConsider the definition:
Clear[fun] fun[a_ + b_] := fun[a] + fun[b]; fun[a+b+c] (*fun[a] + fun[b] + fun[c]*) This works as expected. However, if we use a BlankSequence on "b":
Clear[fun] fun[a_ + b__] := fun[a] + fun[b]; fun[a + b + c] (*fun[a] + fun[b, c]*) it seems that BlankSequence eliminates the Plus in "b+c" and replaces it with Sequence. Has anybody a good explanation for thsithis behaviour?
Consider the definition:
Clear[fun] fun[a_ + b_] := fun[a] + fun[b]; fun[a+b+c] (*fun[a] + fun[b] + fun[c]*) This works as expected. However, if we use a BlankSequence on "b":
Clear[fun] fun[a_ + b__] := fun[a] + fun[b]; fun[a + b + c] (*fun[a] + fun[b, c]*) it seems that BlankSequence eliminates the Plus in "b+c" and replaces it with Sequence. Has anybody a good explanation for thsi behaviour?
Consider the definition:
Clear[fun] fun[a_ + b_] := fun[a] + fun[b]; fun[a+b+c] (*fun[a] + fun[b] + fun[c]*) This works as expected. However, if we use a BlankSequence on "b":
Clear[fun] fun[a_ + b__] := fun[a] + fun[b]; fun[a + b + c] (*fun[a] + fun[b, c]*) it seems that BlankSequence eliminates the Plus in "b+c" and replaces it with Sequence. Has anybody a good explanation for this behaviour?
Consider the definition:
Clear[fun] fun[a_ + b_] := fun[a] + fun[b]; fun[a+b+c] (*fun[a] + fun[b] + fun[c]*) This works as expected. However, if we use a BlankSequence on "b":
Clear[fun] fun[a_ + b__] := fun[a] + fun[b]; fun[a + b + c] (*fun[a] + fun[b, c]*) it seems that BlankSequence eliminates the Plus in "b+c" and replaces it with Sequence. Has anybody a good explanation for thsi behaviour?