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
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
