The orderedvector function converts an ordred set to a Scheme vector.
(define ordered->vector
(function sol
((a sordered))
(cadr a)))