Re: [Axiom-mail] Going mad with pattern matching

[Martin Rubey]

"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.