[Axiom-mail] Re: Outputting S-expressions

[Ludovic Courtès]

Hi,

Martin Rubey <address@hidden> writes:

>> Actually, I want a "parsable" S-exp, like `(** (+ 1 x) 5)' in this case.
>
> I think you might want to use INFORM (= InputForm)?

Yes, thanks for the hint.  I was able to do the following:

  -> f:File InputForm:=open("out.sexp", "output")
  -> write!(f, p::INFORM)

One minor thing: in the output file, variable names are enclosed in `|'
(e.g., `(+ 1 |x|)').  Is there a way to turn it off?

Thanks,
Ludovic.