#include "Rn.hpp" std::ostream& operator<<(std::ostream& os, const Rn& r) { os<<"< "<"<