18. HexBerlekampZassenhaus: factorization over the integers🔗

1. 18.1. From integer factors to modular factors
2. 18.2. Direct integer coordinates
3. 18.3. Classical recombination
4. 18.4. Iterated quadratic norms
5. 18.5. Logarithmic derivatives and lattice recombination
6. 18.6. Small lattices as checked proposals
7. 18.7. Prime choice and totality
8. 18.8. Result and correctness
9. 18.9. Relationship to the tactics