Re: [open-axiom-help] output formats

[Gabriel D. R. <gd...@in...>]

On Mon, Oct 13, 2008 at 11:04 PM, Stephen Montgomery-Smith
<st...@ma...> wrote:

>>
>> In fact InputForm attempts to output a parse tree in *prefix form* --
>> in the spirit
>> of Lisp's s-expression notation -- supposedly easier to parse -- just one
>> token
>> ahead lookup.  Is that notation too unsuitable for your tool?  How would
>> you
>> want it to be to it easier for you?  In pure Matemathica full form
>> notation?
>
> I could use it.  But is it possible to feed an s-expression into axiom?

Ideally, yes.  When that does not happen, it is a "bug" until proven a
design choice.

Now, the next question is how does one get an s-expression form or an
InputForm into OpenAxiom from the standard input.  I just realize that the
standard method of quoting a list does not properly work.  E.g.

    '(+ x y) :: InputForm

does not parse correctly.

I consider it a bug that there is no convenient way to get an InputForm into
the system from the standard input.

I'm considering several options.

-- Gaby



 Or
> do I need to write my own "unparse" routine?
>
> (Sorry for what are probably very basic questions - I am definitely just a
> super-beginner at using this product.)
>
>