Re: Re: Outputting S-expressions
Gabriel Dos Reis <[email protected]>
| Newsgroups | gmane.comp.mathematics.axiom.user |
|---|---|
| Organization | Integrable Solutions |
| Message-ID | <[email protected]> |
[email protected] (Ludovic Courtès) writes: | [email protected] (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? I like the Unix philosophy of operation on streams: you take in something and produce an output, you don't modify the input in-place. It is much easier for a given application to see why is relevant to it than for a general purpose tool to second-guess. -- Gaby