[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] A pattern matching question
From: |
Themos Tsikas |
Subject: |
Re: [Axiom-mail] A pattern matching question |
Date: |
Fri, 1 Jun 2007 14:18:08 +0000 |
User-agent: |
KMail/1.9.1 |
--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.
________________________________________________________________________