Re: [Axiom-mail] axiom book examples

[David MENTRE]

Hello Bob,

Bob McElrath <address@hidden> writes:

> First, the command line interface doesn't seem to let me enter things on
> multiple lines.  There appear to be no separators between the individual
> statements.  I tried inserting ',' and ';' neither of which help.

Axiom has its own multi-line separator in interactive mode: "_"

e.g.

(2) -> a := 1 _
+ 2
 
   (2)  3
                                                        Type: PositiveInteger

BTW, in case of issue, it is useful to post the relevant entries from
the Axiom console...

> Second, using TeXmacs I can enter this example on multiple lines, but I
> get back::
>
>     AXIOM cannot determine the type of sin because it cannot analyze the
>     non-recursive part, if that exists.  This may be remedied by
>     declaring the function.

...like in this case. ;-)

Yours,
david
-- 
David MENTRE <address@hidden> -- http://www.nongnu.org/axiom/