External iterators for generic mathematics