Greg,
Attached is a diff of defintrf. Waldek points out that this code
change was due to a spad compiler bug.
Is there a mailing list discussion on this?
Do you have the bad code.lsp file?
This could cause problems elsewhere.
I'd really like to find out why the compiler failed
so we can fix the root cause of the problem.
Tim
--- ../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?) ==
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
