[Axiom-mail] Re: Outputting S-expressions

[Ludovic Courtès]

address@hidden (Ludovic Courtès) writes:

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

Thanks,
Ludovic.