Closed gambiteer closed 3 months ago
It appears that this definition in base.scm
:
(define (interval-projections iv rd)
(values (make-interval (vector-copy (interval-lb iv) 0 rd)
(vector-copy (interval-ub iv) 0 rd))
(make-interval (vector-copy (interval-lb iv) rd)
(vector-copy (interval-ub iv) rd))))
is incorrect, it puts rd
dimensions into the first interval instead of the second.
If you agree, I'll draw up a PR.
Sorry, I lost track of these issues for a while and just got back to the SRFI 231 implementation. I believe this is working now, can you double check?
This works.
I'm testing chibi's SRFI 231 implementation, but I'm not really confident I'm doing it correctly. I'm trying
(I'm not sure this is correct, I'm following the "put the expected result first" principle.) I'm getting