[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] Re: Outputting S-expressions
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-mail] Re: Outputting S-expressions |
Date: |
08 Nov 2006 18:13:46 +0100 |
address@hidden (Ludovic Courtès) writes:
| 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?
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
- [Axiom-mail] Outputting S-expressions, Ludovic Courtès, 2006/11/07
- Re: [Axiom-mail] Outputting S-expressions, Themos Tsikas, 2006/11/07
- [Axiom-mail] Re: Outputting S-expressions, Ludovic Courtès, 2006/11/07
- Re: [Axiom-mail] Re: Outputting S-expressions, Martin Rubey, 2006/11/07
- [Axiom-mail] Re: Outputting S-expressions, Ludovic Courtès, 2006/11/07
- Re: [Axiom-mail] Re: Outputting S-expressions, Themos Tsikas, 2006/11/07
- Re: [Axiom-mail] Re: Outputting S-expressions, Gabriel Dos Reis, 2006/11/07
- [Axiom-mail] Re: Outputting S-expressions, Ludovic Courtès, 2006/11/07
- Re: [Axiom-mail] Re: Outputting S-expressions, root, 2006/11/07
- [Axiom-mail] Re: Outputting S-expressions, Ludovic Courtès, 2006/11/08
- Re: [Axiom-mail] Re: Outputting S-expressions,
Gabriel Dos Reis <=
- Re: [Axiom-mail] Re: Outputting S-expressions, root, 2006/11/08
- [Axiom-mail] Re: Outputting S-expressions, Ludovic Courtès, 2006/11/08
- Re: [Axiom-mail] Re: Outputting S-expressions, Themos Tsikas, 2006/11/08
- RE: [Axiom-mail] Re: Outputting S-expressions, Page, Bill, 2006/11/08
- RE: [Axiom-mail] Re: Outputting S-expressions, Page, Bill, 2006/11/08
- Re: [Axiom-mail] Re: Outputting S-expressions, root, 2006/11/07