Re: Going mad with pattern matching

Martin Rubey <[email protected]>
Newsgroups gmane.comp.mathematics.axiom.user
Message-ID <[email protected]>
"Alasdair McAndrew" <[email protected]> writes:

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

Which flavour of axiom do you use? I recommend wh-sandbox, as you may know.
Another possibility is that you accidentally hit the wrong button or mistyped
the function: suchThat is an operation, and you need to capitalize correctly,
for example.

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

There is another important hint: unexposed functions are sometimes for more
advanced usage, or because of compiler restrictions.  In practice, unexposed
means, that you need to package call the function.

In the case of applyRules, you really should use elt.

All the best,

Martin
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.