“…There is currently a great deal of interest in applying the methods of computational algebraic geometry to string phenomenology and closely related sub-fields of theoretical physics. For some examples of recent work see [1,2,3,4,5,6,7,8,9,10,11,12,13,14] and references therein. These papers utilise advances in algorithmic techniques in commutative algebra to study a wide range of subjects including various aspects of globally supersymmetric gauge theory [1,2,3,4,5,6], finding flux vacua in string phenomenology [7,8,9], studying heterotic model building on smooth Calabi-Yau in non-standard embeddings [10] and more besides [11,12,13,14].…”