An Alternative to Vinberg's Algorithm

Abstract

Vinberg's algorithm is the main method for finding fundamental domains for reflection groups acting on hyperbolic space. Experience shows that it can be slow. We explain why this should be expected, and prove this slowness in some cases. And we provide an alternative algorithm that should be much faster. It depends on an algorithm for finding vectors with small positive norm in indefinite binary quadratic forms, of independent interest.