[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] [Axiom-mail] manipulating series not as streams bu

From: Tim Daly
Subject: Re: [Axiom-developer] [Axiom-mail] manipulating series not as streams but as sumations
Date: Wed, 22 Oct 2014 12:47:05 -0400


If I understand your email correctly you seem to be proposing a way
to parse (and convert to latex) the OUTPUT of Axiom. There might be
a better way. 

Axiom's architecture is something like

  parse -> execute -> generate lisp data structure -> Charybdis print

Charybdis is a very old lisp to teletype output formatter from the 60s.

What it seems you want to do (and what Ralf might want to consider) is
to grab the lisp s-expression just before it gets handed off to print.
>From that you can do a lot of things such as compute the likely size
of the expression (for line splits) or grab individual terms of a 
polynomial or series.

For example, do

  -> )lisp (trace |recordAndPrint|)
  -> 3*x^2+5

   1> (|recordAndPrint| (1 |x| (2 0 . 3) (0 0 . 5))
        (|Polynomial| (|Integer|)))

  (1) 3x  +5
                                   Type: Polynomial(Integer)

You can look up the internal format of POLY(INT), which is
a list of Terms and, knowing that, process each term. 


reply via email to

[Prev in Thread] Current Thread [Next in Thread]