[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] Going mad with pattern matching
From: |
Martin Rubey |
Subject: |
Re: [Axiom-mail] Going mad with pattern matching |
Date: |
29 May 2007 17:37:22 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
"Bill Page" <address@hidden> writes:
> Martin, could you please say two words (or a little more?) about
> where you found information and examples of how to use suchThat
> and ruleset?
HyperDoc. I didn't find examples, but I read the documentation.
> > help(z,a) ==
> > tmp := z/(z-1)
> > for i in 1..a repeat
> > tmp:=-D(tmp,z)
> > tmp
> >
>
> Note that there is a problem in this expression. It does not
> correctly compute the ztrans of 'n^a'.
I didn't bother to check.
> > ztransrules := ruleset([r0,r1,r2,r3,r4,r5,r6,r7])$Ruleset(INT, INT, EXPR
> > INT)
> >
>
> How can one decide on the proper package call to Ruleset?
Look at the documentation of Ruleset and at the type of a ruleset generated by
a "rule" in pile-syntax.
- [Axiom-mail] Going mad with pattern matching, Alasdair McAndrew, 2007/05/28
- Re: [Axiom-mail] Going mad with pattern matching, Martin Rubey, 2007/05/28
- Re: [Axiom-mail] Going mad with pattern matching, Martin Rubey, 2007/05/28
- Re: [Axiom-mail] Going mad with pattern matching, Alasdair McAndrew, 2007/05/28
- Re: [Axiom-mail] Going mad with pattern matching, Martin Rubey, 2007/05/29
- Re: [Axiom-mail] Going mad with pattern matching, Martin Rubey, 2007/05/29
- Re: [Axiom-mail] Going mad with pattern matching, Bill Page, 2007/05/29
- Re: [Axiom-mail] Going mad with pattern matching,
Martin Rubey <=
- Re: [Axiom-mail] Going mad with pattern matching, Alasdair McAndrew, 2007/05/30
- Re: [Axiom-mail] Going mad with pattern matching, Martin Rubey, 2007/05/30
- Re: [Axiom-mail] Going mad with pattern matching, Alasdair McAndrew, 2007/05/30
- Re: [Axiom-mail] Going mad with pattern matching, Martin Rubey, 2007/05/30
- Re: [Axiom-mail] Going mad with pattern matching, Bill Page, 2007/05/29