Computational Aspects of General Equilibrium Theory