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

[Bill Page]

Quoting Martin Rubey (transferred from axiom-mail):

> Bill Page 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. 

Thanks. 

I think it is strange that there is documentation about this in hyperdoc
but not in the Axiom book. According to the original IBM/NAG build
scripts both the book and hyperdoc were supposed to be derived from
the same "hyper" source (htex) files. I wonder if this could be revived
so that we had a complete and up to date printed form of the
documentation?

At the very least perhaps we could probably extract these missing
sections from hyperdoc and copy them into a chapter in the Axiom
book or tutorial. 

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

Ok. 

Do you think we should generate an bug report for the use
of the | "suchthat" notation in patterns? Given that what you
wrote works, I am more confident that really this is intended
to work using the | notation. 

Regards,
Bill Page.