Algebraic analysis of aggregation-based multigrid | Synapse