A tutorial for the MAPLE ETA package

Frank Garvan

arxiv: 1907.09130 · v1 · pith:SPBVQJE3new · submitted 2019-07-10 · 🧮 math.CO · math.NT

A tutorial for the MAPLE ETA package

Frank Garvan This is my paper

Pith reviewed 2026-05-24 23:23 UTC · model grok-4.3

classification 🧮 math.CO math.NT

keywords Dedekind eta functionMAPLE packageeta-product identitiesvalence formulamodular functionscomputational number theoryq-series identities

0 comments

The pith

The ETA MAPLE package proves eta-product identities by applying the valence formula to modular functions.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper is a tutorial for the ETA package in MAPLE that computes with Dedekind's eta function. It shows how the package is built to prove identities among products of eta functions by using the valence formula for modular functions. A sympathetic reader cares because the package turns what would be manual checks of orders at cusps and elliptic points into automated verification steps.

Core claim

The ETA package is designed for proving eta-product identities using the valence formula for modular functions. Users input an eta-product, and the package computes its valence to determine whether the product equals a constant or satisfies a given identity.

What carries the argument

The valence formula for modular functions, which counts zeros inside a fundamental domain and is applied directly to eta-products to establish identities.

If this is right

Users can verify eta-product identities by computing valence rather than performing manual order calculations at each cusp.
The package handles the algebraic manipulations and modular transformations needed for eta-products in MAPLE.
Identities that hold for eta-products can be confirmed as consequences of the valence being zero or matching a target value.
The tool supports systematic checking of candidate identities in partition theory and q-series.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same valence-based approach could be adapted to prove identities involving other modular forms beyond pure eta-products.
Extending the package to handle linear combinations or quotients of eta-products might reveal new families of identities.
Integration with symbolic computation for generating candidate eta-products could turn the tool into an identity-discovery engine.

Load-bearing premise

The valence formula applies directly and correctly to the specific eta-products that users input into the package without additional unstated conditions or exceptions.

What would settle it

An eta-product input where the package outputs a proof of an identity that is later shown by hand to be false because the valence formula does not apply in that case.

read the original abstract

This is a tutorial for using ETA, a MAPLE package for calculating with Dedekind's eta function. The ETA package is designed for proving eta-product identities using the valence formula for modular functions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This is documentation for an existing Maple package with no new mathematical results.

read the letter

This paper is documentation for the ETA Maple package rather than a new research contribution. It explains how to use the tool for eta-product identities based on the valence formula. The package itself appears to be a practical implementation for modular function calculations in Maple, and the tutorial does a good job describing its usage for those already familiar with the area. It can help users apply the valence formula computationally without having to code everything from scratch. The soft spots are straightforward: there are no new identities or theoretical advances. The work stands or falls on the correctness of the existing package, and the tutorial doesn't add independent verification steps or new examples beyond what's needed for instruction. The assumption about the valence formula applying is standard in the field and not a point of concern here. This is aimed at a small group of researchers who work with Dedekind eta functions and use Maple for their computations. Someone outside that niche or looking for novel theorems will find little to engage with. The thinking is clear and the document is honest about its purpose as a tutorial. I would not bring this to a reading group. I would not cite it in my work. It does not need peer review for a math research journal; it's better as an arXiv note or software documentation.

Referee Report

1 major / 0 minor

Summary. The manuscript is a tutorial for the MAPLE ETA package, which computes with Dedekind's eta function and is designed for proving eta-product identities via the valence formula for modular functions.

Significance. If the underlying package correctly implements the valence formula without unstated exceptions, the tutorial could serve as a practical aid for researchers verifying eta-product identities in modular forms. The document advances no new mathematical claims, derivations, or predictions, and its value rests entirely on clear instructional content and reliable software.

major comments (1)

[Abstract] Abstract: the description of the package's purpose provides no sample computations, identity proofs, error-handling examples, or verification against known results, which is load-bearing for assessing whether the tutorial successfully demonstrates correct application of the valence formula to user-input eta-products.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the feedback. The single major comment concerns the abstract, which we agree can be strengthened by incorporating illustrative material.

read point-by-point responses

Referee: [Abstract] Abstract: the description of the package's purpose provides no sample computations, identity proofs, error-handling examples, or verification against known results, which is load-bearing for assessing whether the tutorial successfully demonstrates correct application of the valence formula to user-input eta-products.

Authors: We agree that the abstract as written is too terse. The body of the tutorial already contains worked examples, identity verifications, and usage notes, but the abstract itself does not preview them. In the revised manuscript we will expand the abstract by one or two sentences that include a short sample eta-product computation, a brief outline of a valence-formula proof, and a reference to a known identity that the package recovers correctly. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

This is a tutorial document describing usage of the existing ETA Maple package for eta-product identities. It advances no novel derivations, predictions, fitted parameters, or mathematical claims. All content is instructional, referencing standard valence formula theory for modular functions without any self-referential reductions, self-citations as load-bearing premises, or renamings of results. The derivation chain is empty by design.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are introduced because the document is a software tutorial rather than a theoretical derivation.

pith-pipeline@v0.9.0 · 5531 in / 964 out tokens · 15437 ms · 2026-05-24T23:23:01.683106+00:00 · methodology

discussion (0)

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Congruences modulo powers of $3$ for $6$-colored generalized Frobenius partitions
math.CO 2025-04 unverdicted novelty 6.0

Proves congruences for cφ6(n) modulo 3^k by adapting Banerjee-Smoot methods to resolve a revised Gu-Wang-Xia conjecture.
Congruences modulo powers of $3$ for generalized Frobenius partitions $C\Psi_{6,0}$
math.CO 2025-10 unverdicted novelty 5.0

Proves congruences modulo powers of 3 for cψ_{6,0}(n) by connecting its generating function to cψ_{6,3}(n) via an Atkin-Lehner involution.