[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] defintrf.spad
From: |
daly |
Subject: |
[Axiom-developer] defintrf.spad |
Date: |
Wed, 4 Jul 2007 22:52:28 -0500 |
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] defintrf.spad,
daly <=