Re: [Axiom-mail] Re: Outputting S-expressions

[root]

| > One minor thing: in the output file, variable names are enclosed in `|'
| > (e.g., `(+ 1 |x|)').  Is there a way to turn it off?
| 
| Similarly, Axiom sometimes issues additional information that is not
| relevant to me, for instance:
| 
|   (|primeFactor| (|::| |lambda| #0=(|Polynomial| (|Integer|))) 1)
| 
|   ...
| 
|   (|primeFactor| (|::| (+ |lambda| (* (+ R 1) |beta|)) #0#) 4)
| 
| Is there a way one could tweak it into removing those additional
| annotations?

The output syntax says that these are eq objects (that is, they
share the same memory locations). The #0= syntax says that this
is the first instance of the s-expression and the #0# syntax says
that this is a repeat. You can set *print-circle* to false to 
skip this syntax but be aware that a circular structure might
print forever. From the Axiom prompt do:

-> )lisp (setq *print-circle* nil)

or from the lisp prompt:

> (setq *print-circle* nil)

Tim