Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper explores efficient implementations of Conway's surreal number arithmetic using lazy evaluation and recursive data structures. The authors demonstrate that these techniques significantly improve the speed of surreal number computations. The resulting implementation provides a practical approach to working with surreal numbers in computational settings.
Lazy evaluation unlocks surprisingly efficient computation with Conway's surreal numbers.
Conway's surreal numbers were aptly named by Knuth. This note examines how far one can get towards implementing surreals and the arithmetic operations on them so that they execute efficiently. Lazy evaluation and recursive data structures yield a considerable speed up.