Re: A pattern matching question
Martin Rubey <[email protected]>
| Newsgroups | gmane.comp.mathematics.axiom.user |
|---|---|
| Message-ID | <[email protected]> |
"Alasdair McAndrew" <[email protected]> writes: > Thank, you Themos, for your suggestion - works like a charm! Am I to infer > from this that pattern matching works by parsing the input element by > element? That's what I believe, too. > Or is there some other Deep Magic going on? To be honest, I don't know really. After all, there is some support for matching units... > And Martin, I tried every imaginable combination of expand/factor, but > nothing worked! Oh sorry, I didn't mean to imply that you could tell axiom to expand or factor a pattern. By the way, could you file the freeOf? failure as a bug at IssueTracker, including a minimal example - i.e., a single rule, and the workaround? Thank you, Martin