Hensel lifting algorithms for quadratic forms

Simon Brandhorst, Davide Cesare Veniani

We provide an algorithm to compute generators of the orthogonal group of the discriminant group associated to an integral quadratic lattice over the integers. We give a closed form…