The question now is how to 'rationalize' a _vector_ of given numbers, but do so with a single denominator.

I think that you can use the Lenstra^2-Lovasz lattice basis reduction algorithm. Here's one I made earlier: http://cp4space.wordpress.com/2012/09/12/lunisolar-calendars/ Sincerely, Adam P. Goucher