[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Bill Page
Subject: [Axiom-developer] Re: Going mad with pattern matching
Date: Tue, 29 May 2007 12:08:05 -0400
User-agent: Webmail 4.0

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.

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

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.

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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]