Combinatorial Algebraic Topology (Algorithms and Computation in Mathematics)