These are pari/gp codes used in the paper
"D-elliptic sheaves and the Hasse principle".
NEL.gp computes the set of degree r>1 primes in F_q[t] for a rational prime q>2
which does not lie in the set P(Y) of exceptional primes of Definition 8.4 for Y=t.
VHPv5.gp checks, given a rational prime q>2, primes P and Q in F_q[t] such that P is not in
the set of exceptional primes P(Y) for Y=t, if they satisfy the fourth condition of Theorem 8.5 and
the conditions (3)(4) of Proposition 9.9,
following the proof of Theorem 9.11.
August 7, 2024
Shin Hattori