Re: [Axiom-mail] A pattern matching question

[Martin Rubey]

"Alasdair McAndrew" <address@hidden> 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