Am Samstag, den 05.03.2011, 18:56 -0600 schrieb Barton Willis:
> -----maxima-bounces at math.utexas.edu wrote: -----
>
> >On 3/5/2011 7:52 AM, Barton Willis wrote:
> >> ----maxima-bounces at math.utexas.edu wrote: -----
>
> >> The function addk (src/simp.lisp) does rational number addition. The
> >function addk has several calls to truncate.
>
> >Not when I tried it.
>
> Oh, I used CCL; let me guess you tried with GCL. Maybe the odd looking calls
> to truncate (for example (TRUNCATE 16068103 10000) are coming from i/o? For 1/2 + 1/2,
> GCL doesn't make these same calls to truncate.
Yes, most of the calls of TRUNCATE are coming from the parser and the
display functions. This is a trace, which shows the calls when adding
two rational numbers:
0: (SIMPLUS ((MPLUS) (#1=(RAT SIMP) 1 2) (#1# 1 2)) 1 NIL)
1: (ADDK (#1=(RAT SIMP) 1 2) (#1# 1 2))
2: (TRUNCATE 2 2)
2: TRUNCATE returned 1 0
2: (TRUNCATE 2 2)
2: TRUNCATE returned 1 0
2: (TRUNCATE 2 2)
2: TRUNCATE returned 1 0
2: (TRUNCATE 2 2)
2: TRUNCATE returned 1 0
1: ADDK returned 1
0: SIMPLUS returned 1
We have always four calls, when adding two rational numbers.
Dieter Kaiser