Manuscript I-B-VP-0@1 · I-B-VP-0-v1.tex · section · 8a9d0682

An independent exact quotient check

An independent exact quotient check · lines 1051–1074

For example, the following are exact rational identities, not numerical execution reports:

$N$	$p$	$π^{2} r^{2} J_{φ}$	Evidence
2	1	$0$	`ANALYTIC`
3	1	$- 1/18$	`ANALYTIC`
3	2	$1/18$	`ANALYTIC`
4	1	$- 1/8$	`ANALYTIC`
4	3	$1/8$	`ANALYTIC`

A strict geometric image set can omit boundary representatives when $N$ is even. Equation (eq:quotientkernel) avoids that ambiguity by using the full quotient sum. One must not use a boundary omission to redefine the underlying covariance.

Nearby in this section

section: An independent exact quotient check
lemma: Lemma: Finite character identity
proposition: Proposition: Finite-image current and sign