Re: A pattern matching question

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 <[email protected]>
wrote:
>
> "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
>
>

_______________________________________________
Axiom-mail mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-mail