[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] [Axiom-mail] manipulating series not as streams bu
Re: [Axiom-developer] [Axiom-mail] manipulating series not as streams but as sumations
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|)
1> (|recordAndPrint| (1 |x| (2 0 . 3) (0 0 . 5))
(1) 3x +5
You can look up the internal format of POLY(INT), which is
a list of Terms and, knowing that, process each term.