Re: [Axiom-mail] A pattern matching question

[Alasdair McAndrew]

I will certainly file an example under IssueTracker, maybe using a cut-down version of the "ttrules" example I posted earlier.  I am still beavering away at my z-transforms with pattern matching, adding a few more rules, and running into yet more difficulties with Axiom's handling of patterns.  I will carry on a bit longer and then throw myself on your mercy (yet again)!

Maybe pattern matching is not as well supported in Axiom as I imagined, but if I can get it to work, it would be a very elegant way of implementing the z-transform.

cheers,
Alasdair

On 02 Jun 2007 08:34:23 +0200, Martin Rubey <address@hidden> wrote:

"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