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