[Axiom-developer] defintrf.spad

[daly]

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?) ==


Tim