Timeline for Function definition interrupts pattern matching?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 15, 2018 at 18:01 | vote | accept | CommunityBot | ||
| Mar 15, 2018 at 1:21 | answer | added | Carl Woll | timeline score: 3 | |
| Mar 15, 2018 at 0:54 | history | edited | J. M.'s missing motivation♦ |
edited tags
|
|
| Mar 15, 2018 at 0:51 | comment | added | jjc385 |
The issue is that nothing stops your definition being applied when an object like d___ appears in NonCommutativeMultiply. You can combat this with HoldPattern.
|
|
| Mar 14, 2018 at 23:54 | history | asked | user273 | CC BY-SA 3.0 |