Update mulfun.hpp