[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: defintrf.spad
From: |
Waldek Hebisch |
Subject: |
[Axiom-developer] Re: defintrf.spad |
Date: |
Thu, 5 Jul 2007 11:22:35 +0200 (CEST) |
> Waldek,
>
> I see the following change to defintrf.spad.
> Can you tell me why?
> The code seems to be logically equivalent.
>
>
>
> --- ../silver/src/algebra/defintrf.spad.pamphlet 2007-04-27
> 04:44:35.000000000 -0400
> +++ wh-sandbox/src/algebra/defintrf.spad.pamphlet 2007-04-27
> 21:29:46.000000000 -0400
> @@ -182,7 +182,10 @@
> ["min"/[t.left for t in l], i.halfinf.endpoint]
> l := [u::REC for t in l | (u := refine(p, t, bounds)) case REC]
> incl? => l
> - select_!(keeprec?(i.halfinf.endpoint, #1), l)
> + -- greg, FIXME dirty workaround
> + -- select_!(keeprec?(i.halfinf.endpoint, #1), l)
> + ep := i.halfinf.endpoint
> + select_!(keeprec?(ep, #1), l)
> error "findRealZero: should not happpen"
>
> checkBudan(p, a, b, incl?) ==
>
>
This is a workaround for bug in the Spad compiler -- first version
produced wrong Lisp code, the second works. It showed up first in
sbcl port. This fix is due to Greg Vanuxem (as noted in the comment).
--
Waldek Hebisch
address@hidden