Re: Going mad with pattern matching
Martin Rubey <[email protected]>
| Newsgroups | gmane.comp.mathematics.axiom.user |
|---|---|
| Message-ID | <[email protected]> |
"Bill Page" <[email protected]> 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.