axiom-developer
[Top][All Lists]

## [Axiom-developer] [#8 (Savannah bug #9297) output misses some parenthesi

 From: kratt6 Subject: [Axiom-developer] [#8 (Savannah bug #9297) output misses some parenthesis] Why? Date: Fri, 21 Jan 2005 04:37:33 -0600

Dear Bill,

did you read my latest comment rearding this bug?

I really don't understand why you think that it could be improved. (OK,
certainly it can be improved, but only with *a lot* of work, including possibly
a rewrite of the way OUTFORM works.

Currently, OUTFORM is coded in a decentral fashion: every object "knows" how to
display itself, by setting the property '%specialDisp'::

setProperty(opdsum,  SPECIALDISP,  ddsum@(List F -> O) pretend None)
setProperty(opdprod, SPECIALDISP, ddprod@(List F -> O) pretend None)

Only some common operations, such as '+' are coded in OUTFORM itself. However,
the routine displaying '+' does not know anything about the semantics of its
arguments anymore, since they are already in OUTFORM then. So, you could only
introduce an ugly *hack*, parsing the first argument of '+\$OUTFORM' and looking wether it is a sum or a product or a limit or ... Well, any time a new operator is introduced, '+\$OUTFORM' (and of course, also '-\$OUTFORM', '*\$OUTFORM', ...)  would have to be readjusted.

Currently the design is very clean, hacking this would be a nightmare, and on
top of all, what for?

Please provide an example where you dislike the result using the patched
version! I find

$$\left( \sum \sb{\displaystyle {i=1}} \sp{\displaystyle n} {{f \left( {i} \right)}+1} \right) \leqno(4)$$

perfectly alright.

Martin
--