root/olares3: links for math2comp