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

[Tim Daly]

Raymond,

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|)))

        2
  (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. 

Tim