This appendix contains the PARI sources of an implementation of the algorithm described in the paper Numerical evidence for a conjectural generalization of Hilbert's theorem 132, and also a file of examples to which it was applied.
The files contained are: