I just finished my masters' thesis, which contained the fraction simplification algorithm mentioned above. Other than that, I have general interests in computer algebra, Groebner bases, and computational algebraic geometry.

What platform are you running on ?

Can you post some examples ?

The zip function really should be in the kernel. It's a great function, and I would use it all the time if it weren't so slow.