Algorithmic foundations of Computable general equilibrium theory