7 – Aut | Borcherds’ method


Exploring

and

processing
(BRUTE FORCE)

the chamber structure over $\nps$ until a complete set of reps. of cong. classes of chambers over $\nps$ been obtained.