help links subscribe changes refresh edit

	IssueTracker
#323 Handling of the history in a file ←	↑	→ #325 Severe bug in 'normalize$EFSTRUC'

#324 Bug in width$OutputForm

Edit detail for #324 Bug in width$OutputForm revision 1 of 4

	1 2 3 4
Editor: Time: 2007/11/17 22:26:34 GMT-8
Note:

changed:
-
In 'OutputForm' there is a function 'width' that returns the amount of space taken by some element of 'OutputForm'. For example

\begin{axiom}
width((sin x)::OutputForm)$OutputForm
\end{axiom}

However, the width for squares and fractions seems to be wrong:

\begin{axiom}
width((x^2)::OutputForm)$OutputForm
width((1/2)::OutputForm)$OutputForm
\end{axiom}

The function is unfortunately not implemented in SPAD but rather calls 'outformWidth' coded in BOOT in the 
file 'i-output.boot'.

Martin

In OutputForm there is a function width that returns the amount of space taken by some element of OutputForm. For example

axiom
width((sin x)::OutputForm)$OutputForm

(1)

Type: Integer

However, the width for squares and fractions seems to be wrong:

axiom
width((x^2)::OutputForm)$OutputForm

(2)

Type: Integer

axiom
width((1/2)::OutputForm)$OutputForm

(3)

Type: Integer

The function is unfortunately not implemented in SPAD but rather calls outformWidth coded in BOOT in the file i-output.boot.

Martin