Proceedings of the Royal Irish Academy: On the determination of Hamilton’s principal function