Re: A pattern matching question

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?  Or is there some other Deep Magic going on?

And Martin, I tried every imaginable combination of expand/factor, but
nothing worked!

cheers,
Alasdair

On 6/2/07, Themos Tsikas <[email protected]> wrote:
>
> --try this in an input file
>
> tt:=operator 'tt
> ttrules := rule
>   tt(n^(a | integer?(a))) == t/a
>   tt(n/(n-1)) == 1/t
>   tt(n/(n^a+(X | integer?(a) and (n-1)^a = n^a +X))) == 1/t^a
>
> ttrules tt(n^6)
> ttrules tt(n/(n-1))
> ttrules tt(n/(n-1)^2)
> ttrules tt(n/(n-1)^30)
>
> ________________________________________________________________________
> The Numerical Algorithms Group Ltd is a company registered in England
> and Wales with company number 1249803. The registered office is:
> Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.
>
> This e-mail has been scanned for all viruses by Star. The service is
> powered by MessageLabs.
> ________________________________________________________________________
>
>
> _______________________________________________
> Axiom-mail mailing list
> [email protected]
> http://lists.nongnu.org/mailman/listinfo/axiom-mail
>

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