Major optimization to aspace function.

Instead of brute-forcing through every possible combination of
vertices, the new algorithm works recursively to compute A_n based on
the last column of A_{n-1}.