Björn Assmann Centre for Interdisciplinary Research in Computational Algebra University of St Andrews