Re: Outputting S-expressions

[email protected] (Ludovic Courtès) Tue, 07 Nov 2006 11:13:33 +0100

Newsgroups	gmane.comp.mathematics.axiom.user
Organization	LAAS-CNRS
Message-ID	<[email protected]>

Hi,

Martin Rubey <[email protected]> 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.