[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.
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.
- [Axiom-developer] Re: Going mad with pattern matching,
Bill Page <=