axiom-mail
[
Top
][
All Lists
]
Advanced
[Date Prev][
Date Next
][Thread Prev][
Thread Next
][
Date Index
][
Thread Index
]
[Axiom-mail] A pattern matching question
From
:
Alasdair McAndrew
Subject
:
[Axiom-mail] A pattern matching question
Date
:
Fri, 1 Jun 2007 23:54:20 +1000
Here's a very simple input file (the mathematics is meaningless; I'm only interested in syntax here):
tt:=operator 'tt
ttrules := rule
tt(n^(a | integer?(a))) == t/a
tt(n/(n-1)) == 1/t
tt(n/(n-1)^(a | integer?(a) and a>1)) == 1/t^a
And here's some experiments:
(
1) -> ttrules tt(n^6)
t
(1) -
6
Type: _expression_ Integer
(1) -> ttrules tt(n/(n-1))
1
(1) -
t
Type: _expression_ Integer
(3) -> ttrules tt(n/(n-1)^2)
n
(3) tt(-----------)
2
n - 2n + 1
Type: _expression_ Integer
Why is the last pattern not matched?
Thanks,
Alasdair
reply via email to
[Prev in Thread]
Current Thread
[
Next in Thread
]
[Axiom-mail] A pattern matching question
,
Alasdair McAndrew
<=
Re: [Axiom-mail] A pattern matching question
,
Themos Tsikas
,
2007/06/01
Re: [Axiom-mail] A pattern matching question
,
Martin Rubey
,
2007/06/01
Re: [Axiom-mail] A pattern matching question
,
Martin Rubey
,
2007/06/02
Re: [Axiom-mail] A pattern matching question
,
Alasdair McAndrew
,
2007/06/01
Re: [Axiom-mail] A pattern matching question
,
Martin Rubey
,
2007/06/02
Re: [Axiom-mail] A pattern matching question
,
Alasdair McAndrew
,
2007/06/02
Next by Date:
Re: [Axiom-mail] A pattern matching question
Next by thread:
Re: [Axiom-mail] A pattern matching question
Index(es):
Date
Thread