Re: Going mad with pattern matching

I've become much fonder of HyperDoc, especially since editing the X
resources to use nicer fonts!  But, for example, "suchThat" in the search
page of HyperDoc produces no results.  Neither does "Ruleset".  Maybe my
HyperDoc has been incompletely generated?

Alasdair

On 30 May 2007 15:41:30 +0200, Martin Rubey <[email protected]>
wrote:
>
> "Alasdair McAndrew" <[email protected]> writes:
>
> > I also notice, while hunting through /src/algebra, that there is an
> > "applyRules" function; but as with "suchThat", it's not mentioned in the
> > documentation; at least, not in the Rules and Pattern Matching section (
> 6.21)
> > of the Axiom book.  Maybe these two functions are part of the source
> code for
> > rules, and not meant to be used by casual users?  Or maybe the
> documentation
> > for rules should be rewritten to include these?
>
> Well, in my opinion the ultimative source of documentation is
> HyperDoc.  Since
> it is dynamically generated, you will find every function there.  And if a
> function is not meant for the "casual" user, the documentation should say
> so.
> (For example, some functions are exported only because of a compiler bug.)
>
> The book is an excellent introduction into the world of axiom, but it will
> be
> hard to cover all functionality within one book.  Even the Mathematica
> book
> covers only a fraction of Mathematica.
>
> Martin
>
>

_______________________________________________
Axiom-mail mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-mail