7 – Aut | Borcherds’ method

Exploring

and

processing
(BRUTE FORCE)

the chamber structure over $\text{Nef}(X)\cap {\mathcal{P}}_S$ until a complete set of reps. of cong. classes of chambers over $\text{Nef}(X)\cap {\mathcal{P}}_S$ been obtained.

---