[Top][All Lists]

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

[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

\sum \sb{\displaystyle {i=1}} \sp{\displaystyle n} {{f 

perfectly alright.

forwarded from

reply via email to

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