Minor change
Changed def of edges, removed add-edge.
Added color defs.
Added correct(?) def of relax.