loadPackage "HodgeIntegrals";
-- Three insertions of tau_5, so g = 5 and n = 3.
wittenTau(5,{0,0,0,0,0,3})
-- 41873/255467520Every entry is computed in exact rational arithmetic by the Dijkgraaf-Verlinde-Verlinde recurrence in [1], together with the string and dilaton equations and the initial values $\langle\tau_0^3\rangle_0=1$ and $\langle\tau_1\rangle_1=1/24$. The attached generator uses Sage rational numbers throughout.
The separate checker implements Theorem 1.1 of [1] with Python fractions and an independent genus-zero multinomial formula. It derives the genus-one normalization from genus zero. All 494 entries agree with that implementation. The checks also cover the published examples in [3], every applicable string and dilaton equation within the stored range, all genus-zero and one-point entries, and a separate enumeration of the complete range. The same checks are repeated on values read back from the database.